Navtalks/Archive

From Navigators

(Difference between revisions)
Jump to: navigation, search
(Fall 2014)
 
(5 intermediate revisions not shown)
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]].
-
==Fall 2014==
+
==Spring 2017==
-
{| class="wikitable"
+
{| class="wikitable" style="font-size: 10pt; text-align: center; width: 100%;"
-
| || colspan="2" align="center" |'''Presentation A''' || colspan="2" align="center"|'''Presentation B'''
+
| style="font-size: 12pt; width: 10%;" | Spring'17 || colspan="2" style="font-size: 12pt; width: 90%;" |Presentations
|-
|-
-
| align="center" |'''Date''' || align="center" |'''Presenter''' || align="center" |'''Title''' || align="center" |'''Presenter''' || align="center" |'''Title'''
+
| When & Where || Speaker || Title
 +
|-
 +
|-id="slNT20170113"  
 +
| rowspan="2"| 13/01 12pm <br> '''room 6.1.25'''  
 +
| [[José_Rufino | José Rufino]] ||  The (Hidden) Potential of Non-Intrusive Runtime Verification <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/6/6f/2017-01-JRufino-NavTalk.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/f/f0/ECRTS-RV_in_RT_8.pdf paper]
 +
|-
 +
| [[Inês_Gouveia | Inês Gouveia ]]    || Enforcing Safety and Security Through Non-Intrusive Runtime Verification  <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/6/6a/Presentation.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/3/31/CERTS_2016_Gouveia_NIRV.pdf paper]
|-
|-
-
|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
+
|-id="slNT20170125"
 +
| rowspan="2"  | 25/01 12pm <br> '''room 6.2.46'''
 +
| '''Altair Santin''' <br> (guest speaker)  <br> Pontifícia Universidade <br> Católica do Paraná  || Segurança para ambiente de Smart Grid <br> (Security for Smart Grid Environments)
 +
|-  
 +
| [[João_Sousa|João Sousa]]  || Practical experiences with a BFT middleware database  <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/f/ff/Navtalk2-bessan-v2i.pdf slides]
|-
|-
-
|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
+
|-id="slNT20170208" 
 +
| rowspan="2"| 08/02 12pm <br> room 6.3.38
 +
|   [[Tiago_Oliveira | Tiago Oliveira]] || Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/2/25/Navtalk-2017.pptx.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/8/89/MWMR-Register.pdf paper]
 +
|-                                 
 +
|  [[Max_Alaluna |Max Alaluna ]]  || Sehen: Secure Yet Efficient Virtual Network Embedding in a Multi-Cloud Environment    <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/a/a2/Sehen_final.pdf slides]
|-
|-
-
|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
+
|-id="slNT20170222"
 +
| rowspan="2"| 22/02 <br> room 6.3.38
 +
| [[Nuno_Ferreira_Neves | Nuno Neves ]]  ||  Intrusion Tolerant Eclipse SCADA <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/9/9c/IT-SCADA_March17_v2-final.pdf slides]
 +
|- 
 +
|  [[ Bruno_Vavala  | Bruno Vavala  ]] || Secure Tera-scale Data Crunching with a Small TCB <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/2/21/DSN17-BrunoVavala-LASTGT.pdf slides]     
 +
|-
 +
|-id="slNT20170308" 
 +
| rowspan="2"| 08/03  <br> room 6.3.38
 +
| [[ AdrianoSerckumecka | Adriano Serckumecka ]] ||  Collection and monitoring of security events to feed SIEMs  <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/2/2e/Elastic.pdf slides] 
 +
|-
 +
| [[Eric_Vial|Eric Vial]], [[Max_Alaluna |Max Alaluna ]],  [[Fernando_Ramos | Fernando Ramos ]]  || Demonstration of Sirius, a Multi-Cloud Network Virtualization Platform    <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/9/9c/2017.03.08_SiriusDemo_Navtalk.pdf slides]   
 +
|-
 +
|-id="slNT20170322"
 +
| rowspan="2"|  22/03  <br> room 6.3.38
 +
| [[Miguel_Falé | Miguel Falé ]]  ||  Protecting WAP from infinite recursion   
 +
|-
 +
|  [[ Henrique_Mendes | Henrique Mendes ]]  || Securing DLMS/COSEM implementations for use in the smart grid   
 +
|-
 +
|-id="slNT20170405"
 +
| rowspan="2"| 05/04  <br> room 6.3.38
 +
| [[António_Casimiro  | António Casimiro  ]] || Enforcing Timeliness and Safety in Mission-Critical Systems <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/0/0a/Enforcing_Timeliness_and_Safety_in_Mission-Critical_Systems.pdf slides]  [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/a/af/AE17-paper-NavTalks-Apr17.pdf paper] 
 +
|-
 +
|  [[Eunice_Branco | Eunice Branco ]]  || Cyberthreat Discovery in Open Source Intelligence using Deep Learning Techniques  <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/5/52/NavTalk_%28Eunice_Branco%29.pdf slides]   
 +
|-
 +
|-id="slNT20170419" 
 +
| rowspan="2"| 19/04  <br> room 6.3.38
 +
| [[Bruno_Nunes | Bruno Nunes ]] ||  Live Migration of Networks   
 +
|- 
 +
|  [[ Pedro_Alves | Pedro Alves ]]  || Smarter Routing for a Smarter Grid 
 +
|-
 +
|-id="slNT20170503"
 +
| rowspan="2"| 03/05 <br> room 6.3.38
 +
|  [[ Rui_Marques | Rui Miguel ]]  ||  P4: Programming Protocol-Independent Packet Processors (Bosshart et al., SIGCOMM'14)  <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/f/fe/RuiMiguel_NavTalk_P4_ProgrammingProtocol-independentPacketProcessors.pdf slides]
 +
|- 
 +
|  [[Fabio_Pereira | Fabio Pereira ]]  || Network Monitoring in a Secure and Efficient Way   
 +
|-
 +
|-id="slNT20170517" 
 +
| rowspan="2"| 19/05 <br> room 6.3.38
 +
|  [[ João_Silva| João Silva ]]  || Distributed implementation of evolutionary algorithms     
 +
|-
 +
| [[ Diogo_Pinto | Diogo Pinto ]] ||  ''(to be rescheduled)''   
 +
|-
 +
|-id="slNT20170531"
 +
| rowspan="2"| 31/05 <br> room 6.3.38
 +
| Miguel Correia <br> IST-ULisboa || Detecting Malicious Hosts Using Traffic Flows   
 +
|-
 +
| Sileshi Demesi Yalew <br> IST-ULisboa || Mobile Device Security with ARM TrustZone
 +
|-
 +
|-id="slNT20170614"
 +
| rowspan="2"| 14/06 <br> room 6.3.38
 +
|  [[Ibéria_Medeiros|Ibéria Medeiros]]  ||  Demonstrating a Tool for Injection Attack Prevention in MySQL   
 +
|-
 +
|  [[Fernando_Ramos | Fernando Ramos ]]    || uPVN: User-centric Programmable Virtual Networks  <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/2/26/2017.06.14_uPVN_Navtalk.pdf slides] 
 +
|-
 +
|-id="slNT20170628" 
 +
| 28/06 <br> room 6.3.38
 +
| [[ Regivaldo_Costa | Regivaldo Costa ]]  || A Software-Defined Netwoking approach to enhance BGP security  <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/f/f3/BGPSECx_NavTalk.pdf slides]
 +
|-
 +
|-
 +
|- id="summerbreak2017"  style="background: lightgreen;"
 +
| colspan="3" | ''Summer break''
 +
|}
 +
 
 +
==Fall 2016==
 +
 
 +
{| class="wikitable" style="font-size: 10pt; text-align: center; width: 100%;"
 +
| style="font-size: 12pt; width: 6%;" | Fall'16 || colspan="2"  style="font-size: 12pt; width: 47%;" | Presentation A || colspan="2"  style="font-size: 12pt; width: 47%;" | Presentation B
 +
|-
 +
| Date || style="width: 15%;" | Speaker || Title || style="width: 15%;"  | Speaker || Title
 +
|-
 +
|-id="slNT20161006"
 +
| 06/10 || [[Eric_Vial|Eric Vial]] || Packet Manipulation Tools for Linux<br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/1/1e/Packet_manipulation_tools_for_linux.pdf slides] 
 +
        ||  [[Ricardo_Fonseca|Ricardo Fonseca]]  || Securing SDN-based monitoring - obstacles and learned insights<br>[http://www.navigators.di.fc.ul.pt/w2/img_auth.php/a/ac/Securing_SDN_monitoring.pptx.pdf slides]
 +
|-id="slNT20161020"
 +
| 20/10 || [[Fernando_Ramos | Fernando Ramos ]] || No more excuses: it’s time to secure BGP!<br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/3/31/2016.10.20_BGPSecX_Navtalk.pdf slides]  
 +
        ||  [[Miguel_Garcia|Miguel Garcia]]  || On the Origin of Diversity, by Means of Cluster Selection, or the Preservation of Favoured OSes in the Struggle for Dependability <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/6/6d/2016_out_lazarus.pdf slides] 
 +
|-id="slNT20161103"
 +
| 03/11 || [[Alysson_Bessani | Alysson Bessani ]]  ||  Dependable Storage and Computing using Multiple Cloud Providers <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/3/3f/Multicloud-iiawcrr16-161110094520.pptx.pdf slides]  ||  [[Túlio_Ribeiro|Túlio Ribeiro]]  || Floodlight Tracing, Durable and Fault Tolerant  <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/3/32/Presentation-TulioRibeiro_NavTalk_v1.pdf slides] 
 +
|-id="slNT20161118"
 +
| 18/11 ||  [[Vinicius_Vielmo_Cogo | Vinicius Cogo]]  || Getting Started on LSH <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/0/0c/Navtalk_lsh.pdf slides]  ||  [[Ricardo_Mendes | Ricardo Mendes]]  || Janus: User-defined Cloud-backed Storage  <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/c/c0/Rmendes_janus_navtalk.pptx.pdf  slides]
 +
|-id="slNT20161202"
 +
| 02/12 ||  [[ Pedro_Costa | Pedro Costa ]]  || Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/d/de/Chrysaor-Fine-Grain-Fault-Tolerance.pdf slides]  ||  [[ Diogo_Duarte | Diogo Duarte ]] || (''to be rescheduled'')
 +
|-id="slNT20161216"
 +
| 16/12 <br> '''@12.30pm''' ||  [[Fernando_Alves | Fernando Alves]]  || Machine Learning with Big Data  - Specialized distributed systems for machine learning purposes <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/4/42/BigDataSystems.pdf slides] ||  [[Ibéria_Medeiros|Ibéria Medeiros]]    || Attacks, you shall not pass! SEPTIC will not avail you. 
 +
|}
 +
 
 +
 
 +
 
 +
==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==
 +
 
 +
{| 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: 5%;" | '''Presentation C'''
 +
|-
 +
| '''Fall'15''' || style="width: 10%;" | '''Presenter''' || '''Title''' || style="width: 10%;"  |'''Presenter''' || '''Title''' || style="width: 7%;" | '''Presenter''' || '''Title'''
 +
|-
 +
|Sep-25 || João Sousa ||  Separating the WHEAT from the Chaff:<br>An Empirical Design for<br>Geo-Replicated State Machines || Bruno Vavala || Securing Passive Replication Through Verification || Vinícius Cogo || A High-Throughput Method to Detect<br>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 <br>
 +
<span style="font-size: 8pt"> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/d/d7/2015.10.23_Navtalk_MaxAlaluna.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/3/3b/1512.01196v1_%28Literally%29_above_the_clouds_virtualizing_the_network_over_multiple_clouds.pdf paper] </span>
 +
|| 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 <br>
 +
<span style="font-size: 8pt"> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/d/d8/Navtalk20151120_Kathiravelu.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/9/90/Navtalk20151120_Kathiravelu.paper.pdf paper] </span>
 +
|| Gonçalo Jesus || Dependable monitoring in aquatic wireless sensor networks || -  || -
 +
|-
 +
|Dec-04 || José Rufino  || Mechanisms to Enforce Dependability and Timeliness in Wireless Communications  <br>
 +
<span style="font-size: 8pt"> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/5/5d/WiSEE-2014-NavTalk-2015-Public_copy_4.pdf slides] [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/a/a9/Document_for_Publication-Souza2014WiEEE.pdf paper] </span>
 +
|| 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 <br>
 +
<span style="font-size: 8pt"> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/3/3f/NavTalk_Distributed_and_FT_Control_Plane_for_SDN_Andre_Mantas.pdf slides] &nbsp;&nbsp;&nbsp; [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/0/0a/ConsistentFTSDN.pdf paper] </span>
 +
|| - || -
 +
|-
 +
|}
 +
 
 +
 
 +
==Spring 2015==
 +
 
 +
{| class="wikitable"
 +
| || colspan="2" align="center" |'''Presentation A''' || colspan="2" align="center"|'''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-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
Line 21: Line 198:
|-
|-
|2015-Jun-05 || Ricardo Fonseca || SDN-based Network Monitoring Under Attack  || Radu Onica || Fault Tolerant Precision Time Protocol for Smart Grids
|2015-Jun-05 || Ricardo Fonseca || SDN-based Network Monitoring Under Attack  || Radu Onica || Fault Tolerant Precision Time Protocol for Smart Grids
 +
|-
 +
|}
 +
 +
==Fall 2014==
 +
 +
{| class="wikitable"
 +
| || colspan="2" align="center" |'''Presentation A''' || colspan="2" align="center"|'''Presentation B'''
 +
|-
 +
| align="center" |'''Date''' || align="center" |'''Presenter''' || align="center" |'''Title''' || align="center" |'''Presenter''' || align="center" |'''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
|-
|-
|}
|}

Latest revision as of 18:46, 3 October 2017

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

Contents

Spring 2017

Spring'17 Presentations
When & Where Speaker Title
13/01 12pm
room 6.1.25
José Rufino The (Hidden) Potential of Non-Intrusive Runtime Verification
slides paper
Inês Gouveia Enforcing Safety and Security Through Non-Intrusive Runtime Verification
slides paper
25/01 12pm
room 6.2.46
Altair Santin
(guest speaker)
Pontifícia Universidade
Católica do Paraná
Segurança para ambiente de Smart Grid
(Security for Smart Grid Environments)
João Sousa Practical experiences with a BFT middleware database
slides
08/02 12pm
room 6.3.38
Tiago Oliveira Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations
slides paper
Max Alaluna Sehen: Secure Yet Efficient Virtual Network Embedding in a Multi-Cloud Environment
slides
22/02
room 6.3.38
Nuno Neves Intrusion Tolerant Eclipse SCADA
slides
Bruno Vavala Secure Tera-scale Data Crunching with a Small TCB
slides
08/03
room 6.3.38
Adriano Serckumecka Collection and monitoring of security events to feed SIEMs
slides
Eric Vial, Max Alaluna , Fernando Ramos Demonstration of Sirius, a Multi-Cloud Network Virtualization Platform
slides
22/03
room 6.3.38
Miguel Falé Protecting WAP from infinite recursion
Henrique Mendes Securing DLMS/COSEM implementations for use in the smart grid
05/04
room 6.3.38
António Casimiro Enforcing Timeliness and Safety in Mission-Critical Systems
slides paper
Eunice Branco Cyberthreat Discovery in Open Source Intelligence using Deep Learning Techniques
slides
19/04
room 6.3.38
Bruno Nunes Live Migration of Networks
Pedro Alves Smarter Routing for a Smarter Grid
03/05
room 6.3.38
Rui Miguel P4: Programming Protocol-Independent Packet Processors (Bosshart et al., SIGCOMM'14)
slides
Fabio Pereira Network Monitoring in a Secure and Efficient Way
19/05
room 6.3.38
João Silva Distributed implementation of evolutionary algorithms
Diogo Pinto (to be rescheduled)
31/05
room 6.3.38
Miguel Correia
IST-ULisboa
Detecting Malicious Hosts Using Traffic Flows
Sileshi Demesi Yalew
IST-ULisboa
Mobile Device Security with ARM TrustZone
14/06
room 6.3.38
Ibéria Medeiros Demonstrating a Tool for Injection Attack Prevention in MySQL
Fernando Ramos uPVN: User-centric Programmable Virtual Networks
slides
28/06
room 6.3.38
Regivaldo Costa A Software-Defined Netwoking approach to enhance BGP security
slides
Summer break

Fall 2016

Fall'16 Presentation A Presentation B
Date Speaker Title Speaker Title
06/10 Eric Vial Packet Manipulation Tools for Linux
slides
Ricardo Fonseca Securing SDN-based monitoring - obstacles and learned insights
slides
20/10 Fernando Ramos No more excuses: it’s time to secure BGP!
slides
Miguel Garcia On the Origin of Diversity, by Means of Cluster Selection, or the Preservation of Favoured OSes in the Struggle for Dependability
slides
03/11 Alysson Bessani Dependable Storage and Computing using Multiple Cloud Providers
slides
Túlio Ribeiro Floodlight Tracing, Durable and Fault Tolerant
slides
18/11 Vinicius Cogo Getting Started on LSH
slides
Ricardo Mendes Janus: User-defined Cloud-backed Storage
slides
02/12 Pedro Costa Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce
slides
Diogo Duarte (to be rescheduled)
16/12
@12.30pm
Fernando Alves Machine Learning with Big Data - Specialized distributed systems for machine learning purposes
slides
Ibéria Medeiros Attacks, you shall not pass! SEPTIC will not avail you.


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