Navtalks/Archive

From Navigators

(Difference between revisions)
Jump to: navigation, search
Line 1: Line 1:
This is the historical archive of Navtalks. For the current schedule, see [[Navtalks]].
This is the historical archive of Navtalks. For the current schedule, see [[Navtalks]].
 +
 +
==Spring 2016==
 +
 +
{| class="wikitable" style="font-size: 10pt; text-align: center; width: 100%;"
 +
| style="font-size: 12pt; width: 5%;" |'''Date''' || colspan="2"  style="font-size: 12pt; width: 37%;" |'''Presentation A''' || colspan="2"  style="font-size: 12pt; width: 37%;" |'''Presentation B''' || colspan="2"  style="font-size: 12pt; width: 21%;" | '''Presentation C'''
 +
|-
 +
| '''Spring'16''' || style="width: 10%;" | '''Speaker''' || '''Title''' || style="width: 10%;"  |'''Speaker''' || '''Title''' || style="width: 7%;" | '''Speaker''' || '''Title'''
 +
|-id="slNT20160115"
 +
|Jan-15 || [[Nuno_Ferreira_Neves|Nuno Neves]] ||  Making WAP Really Discover 0-day Vulnerabilities with Less Errors ||  [[Pedro_Maia|Pedro Maia]]  || Resilient Communications in Smart Grids || - || -
 +
|-id="slNT20160129"
 +
|Jan-29 || [[Diogo_Duarte|Diogo Duarte]]  || Vulnerability Detection in SDN Switches ||  [[Tiago_Oliveira|Tiago Oliveira]] || Exploring Key-Value Stores in register emulations  || - || -
 +
|-
 +
|-id="slNT20160212"
 +
|Feb-12 || [[Pedro_Ferreira|Pedro Ferreira]]  || Entropy based unsupervised selection of data sets for improved model fitting || [[José_Soares|José Soares]] || Live migration of networks in a multi-cloud environment || - || -
 +
|-id="slNT20160226"
 +
|Feb-26 || Fabien Charmet <br><span style="font-size: 8pt;">Telecom Sud Paris</span>|| Implementation of security policy in SDN environment  ||  [[Luís_Ferrolho|Luís Ferrolho]] || Secure and Dependable Virtual Network Embedding || - || -
 +
|-id="slNT20160311"
 +
|Mar-11 || [[Frederico_Brito|Frederico Brito]]  || Towards Resilient Segment Routing  || [[Joel_Alcântara|Joel Alcântara]] || Low-cost Cloud-based Disaster Recovery for Transactional Databases || - || -
 +
|-id="slNT20160325"
 +
|Mar-25 ||colspan="6"| Easter break
 +
|-id="slNT20160408"
 +
|Apr-08 || [[Pedro_Costa|Pedro Costa]]  || Medusa: An Efficient Cloud Fault-Tolerant MapReduce  || -  || - || - || -
 +
|-id="slNT20160422"
 +
|Apr-22 || Sebastian Zug <br><span style="font-size: 8pt;">Otto-von-Guericke-University of Magdeburg</span> || GNSS Quality Forecasting for UAV Trajectory Planning in Urban Environments  || [[André_Correia|André Correia]]  || Discovering security threats in social networks || - || -
 +
|-id="slNT20160506"
 +
|May-06 || [[Nuno_Ferreira|Nuno Ferreira]]  || Securing OEM controllers in a SDN environment  || [[Fernando_Ramos|Fernando Ramos]]  || Blending photons with electrons to reduce the energy footprint of IPTV networks || - || -
 +
|-id="slNT20160520"
 +
|May-20 || [[Alysson_Bessani|Alysson Bessani]]    || The DiSIEM (Diversity-enhancements for SIEMs) Project || [[Tiago_Santos|Tiago Santos]]  || Intrusion detection and response on mobile devices || - || -
 +
|-id="slNT20160603"
 +
|Jun-03 || [[António_Casimiro|António Casimiro]]  || Open challenges for dependable autonomous and cooperative cars || [[Max_Alaluna|Max Alaluna]] || (Literally) above the clouds: virtualizing the network over multiple clouds || - || -
 +
|-id="slNT20160617"
 +
|Jun-17 || [[Bruno_Vavala|Bruno Vavala]]  || Secure Identification of Actively Executed Code on a Generic Trusted Component  <br>
 +
<span style="font-size: 8pt"> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/a/a8/Document_for_Publication-DSNb_2016.pdf paper]  [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/d/d1/Dsn2016slides.pdf slides] </span>
 +
|| [[André_Nogueira|André Nogueira]] || Making the SCADA System Intrusion Tolerant <br>
 +
<span style="font-size: 8pt"> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/e/e2/Bftscada-navtalk-v4.pptx.pdf slides] </span>
 +
|| Georg Jäger <br><span style="font-size: 8pt;">University of Magdeburg</span> || Safety Dependent Sensor Data Processing in Dynamic Composed Systems
 +
|}
 +
==Fall 2015==
==Fall 2015==

Revision as of 12:04, 31 August 2016

This is the historical archive of Navtalks. For the current schedule, see Navtalks.

Contents

Spring 2016

Date Presentation A Presentation B Presentation C
Spring'16 Speaker Title Speaker Title Speaker Title
Jan-15 Nuno Neves Making WAP Really Discover 0-day Vulnerabilities with Less Errors Pedro Maia Resilient Communications in Smart Grids - -
Jan-29 Diogo Duarte Vulnerability Detection in SDN Switches Tiago Oliveira Exploring Key-Value Stores in register emulations - -
Feb-12 Pedro Ferreira Entropy based unsupervised selection of data sets for improved model fitting José Soares Live migration of networks in a multi-cloud environment - -
Feb-26 Fabien Charmet
Telecom Sud Paris
Implementation of security policy in SDN environment Luís Ferrolho Secure and Dependable Virtual Network Embedding - -
Mar-11 Frederico Brito Towards Resilient Segment Routing Joel Alcântara Low-cost Cloud-based Disaster Recovery for Transactional Databases - -
Mar-25 Easter break
Apr-08 Pedro Costa Medusa: An Efficient Cloud Fault-Tolerant MapReduce - - - -
Apr-22 Sebastian Zug
Otto-von-Guericke-University of Magdeburg
GNSS Quality Forecasting for UAV Trajectory Planning in Urban Environments André Correia Discovering security threats in social networks - -
May-06 Nuno Ferreira Securing OEM controllers in a SDN environment Fernando Ramos Blending photons with electrons to reduce the energy footprint of IPTV networks - -
May-20 Alysson Bessani The DiSIEM (Diversity-enhancements for SIEMs) Project Tiago Santos Intrusion detection and response on mobile devices - -
Jun-03 António Casimiro Open challenges for dependable autonomous and cooperative cars Max Alaluna (Literally) above the clouds: virtualizing the network over multiple clouds - -
Jun-17 Bruno Vavala Secure Identification of Actively Executed Code on a Generic Trusted Component

paper slides

André Nogueira Making the SCADA System Intrusion Tolerant

slides

Georg Jäger
University of Magdeburg
Safety Dependent Sensor Data Processing in Dynamic Composed Systems


Fall 2015

Date Presentation A Presentation B Presentation C
Fall'15 Presenter Title Presenter Title Presenter Title
Sep-25 João Sousa Separating the WHEAT from the Chaff:
An Empirical Design for
Geo-Replicated State Machines
Bruno Vavala Securing Passive Replication Through Verification Vinícius Cogo A High-Throughput Method to Detect
Privacy-Sensitive Human Genomic Data
Oct-09 Miguel Garcia Intrusion tolerance, make it last! Pedro Sá da Costa Dependable MapReduce in a Cloud of Clouds - -
Oct-23 Max Alaluna SuperCloud: The first demo is the hardest

slides paper

Tulio Ribeiro Mesobi: Memória em Software Transacional Tolerante a Faltas Bizantinas - -
Nov-06 Vinícius Cogo Genomes in the cloud: Dependable please, but affordable! Regivaldo Costa An SDN-based approach to manage and improve BGP security - -
Nov-13 @2pm Alexander Binun (Ben-Gurion University of the Negev) Self-Stabilizing Virtual Machine Hypervisor Architecture for Resilient Cloud - - - -
Nov-20 Pradeeban Kathiravelu (IST-UL) Cassowary: Middleware Platform for Context-Aware Smart Buildings with Software-Defined Sensor Networks

slides paper

Gonçalo Jesus Dependable monitoring in aquatic wireless sensor networks - -
Dec-04 José Rufino Mechanisms to Enforce Dependability and Timeliness in Wireless Communications

slides paper

Ricardo Mendes Janus: A User-defined Cloud-backed Storage - -
Dec-18 Fernando Alves Vulnerability discovery in powerline communication André Mantas Distribution, fault tolerance & consistency in SDN control: Pick three

slides     paper

- -


Spring 2015

Presentation A Presentation B
2015-Mar-13 Max Silva Projeto de rede WAN – estudo de caso: rede do Exército Brasileiro Pedro Costa An Efficient MapReduce Middleware to Tolerate Cloud Faults
2015-Abr-17 Francisco Melo (EDP Distribuição) Desafios da EDP Distribuição nas redes inteligentes
2015-Mai-15 Aryan TaheriMonfared SDN, NFV, and Cloud Computing: beyond the buzz João Sousa Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines
2015-Jun-05 Ricardo Fonseca SDN-based Network Monitoring Under Attack Radu Onica Fault Tolerant Precision Time Protocol for Smart Grids

Fall 2014

Presentation A Presentation B
Date Presenter Title Presenter Title
2014-Oct-24 Fernando M.V. Ramos On the Design of Practical Fault-Tolerant SDN Controllers Paulo Ferreira The anatomy of a Strongly Consistent Distributed SDN Controller
2014-Nov-07 André Nogueira Elastic State Machine Replication with CREST Alysson Bessani CHARON: A Dependable Biobank Data Sharing and Storage Infrastructure using the Cloud-of-Clouds
2014-Nov-28 Eric Vial Evaluation of Safety Rules in a Safety Kernel-based Architecture António Casimiro Concepts and solutions for safe, cooperative systems - the KARYON approach

Fall 2013

Presentation A Presentation B
Date Presenter Title Presenter Title
2013-Oct-8 Paulo Veríssimo Some notes about research in the Navigators group Fábio Botelho On the feasibility of a consistent and fault-tolerant data store for SDNs
2013-Nov-1 Alysson Bessani The final demo of TClouds Vinícius Cogo Best practices and advanced usage of Quinta
2013-Nov-15 André Nogueira FT-Tolerant Elastic Raw Storage António Casimiro Resilient monitoring of cloud infrastructures: TRONE and Fast-IDP
2013-Nov-29 Diego Kreutz The dark side of SDN and OpenFlow Alysson Bessani Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces
2013-Dec-13 Tiago Martins An overview of the Intrusion Detection field Pedro Ferreira An extreme computing approach to large-scale energy efficiency in households
2014-Jan-24 João Craveiro Real-time scheduling in multicore time- and space-partitioned architectures João Carraca Information security in time- and space-partitioned architectures for aerospace systems


Fall 2011

  • 20/09/11 - How to do research in Navigators/LaSIGE (Alysson and Antonio) and SecFuNet: Security for Future Networks (Diego Kreutz)
  • 04/10/11 - Optimal Randomized Consensus in Normal Situations (Bruno Vavala) and OpenStack Cloud Manager - Installation and Scheduling (Wojciech Ozga)
  • 18/10/11 - Writing and speaking science: tips and common mistakes to avoid (João Craveiro) and An Introduction to Coding Theory and LDPC codes (Hossein Rouhani)
  • 22/11/11 - Byzantine Fault-Tolerant MapReduce: Faults are not just Crashes (practice for talk CloudComm'11 - Pedro Costa) and Using Behavioral Profiles to Detect Software Flaws in Network Servers (practice talk for ISSRE'11 - João Antunes)
  • 06/12/11 - Trustworthy and Resilient Monitoring System for Cloud Infrastructures (Smruti)

Spring 2011

  • 01/02/11 - MASSIF Brainstorm (Nuno and Bruno)
  • 08/02/11 - MASSIF Brainstorm (Henrique and Antonio)
  • 15/02/11 - TCLOUDS Brainstorm (Paulo and Miguel)
  • 22/02/11 - TCLOUDS Brainstorm (Alysson and Bernhard)
  • 22/03/11 - TRONE Brainstorm (Antonio and Marcelo)
  • 05/04/11 - Hadoop MapReduce BFT (Pedro Costa) and DepSky: Dependable and Secure Storage in a Cloud-of-Clouds (practice talk for EuroSys'11 - Alysson)
  • 17/05/11 - Reducing Channel Change Delay in IPTV (Fernando Ramos) andTowards Intrusion-Tolerance aware scheduling policies for Cloud Computing (Vinícius Cogo)
  • 31/05/11 - TCLOUDS AppEngine: Towards a Cloud-of-Clouds Platform as a Service (Alysson Bessani) and Development and Update of Aerospace Applications in Partitioned Architectures (Joaquim Rosa)
  • 14/06/11 - Wormhole Architecture Applied to Mobile Robots (Gonçalo Cruchinho) and TBD
  • 21/06/11 - Practice talks for DSN (Miguel, Alysson, ?)
  • 05/07/11 - DSN Overview (Alysson) and Lightweight Adaptation in Wireless Sensor Networks (Luís Marques)

Fall 2010

  • 28/09/10 - An introduction to the new Navigators testbed (Marcelo Pasin and Vinicius Colgo)
  • 19/10/10 - From Static to Adaptive Configuration of Distributed Protocols (Antonio Casimiro) and The FITCH Architecture (Marcelo Pasin)
  • 02/11/10 - BFT State Machine Replication for the Masses (Alysson Bessani)
  • 16/11/10 - Adaptability Support in Time- and Space-Partitioned Aerospace Systems (João Craveiro) and Life at Google (Mônica Dixit)
  • 30/11/10 - Resilient Middleware for a Multi-Robot Team (Eric Vial) and Enforcing Dependability and Timeliness in Controller Area Networks (Ricardo Pinto)
  • 14/12/10 - Inaccessibility in IEEE 802.15.4 Wireless Networks (Jeferson Souza) and Identification of Inconsistencies Among Diverse Replicas (João Antunes)
Personal tools
Navigators toolbox