Navtalks/Archive
From Navigators
(Difference between revisions)
(6 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]]. | ||
- | == | + | ==Spring 2017== |
+ | {| class="wikitable" style="font-size: 10pt; text-align: center; width: 100%;" | ||
+ | | style="font-size: 12pt; width: 10%;" | Spring'17 || colspan="2" style="font-size: 12pt; width: 90%;" |Presentations | ||
+ | |- | ||
+ | | 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] | ||
+ | |- | ||
+ | |-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] | ||
+ | |- | ||
+ | |-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] | ||
+ | |- | ||
+ | |-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] [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-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== | ||
+ | {| 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 | ||
+ | |- | ||
+ | |} | ||
==Fall 2013== | ==Fall 2013== |
Latest revision as of 18:46, 3 October 2017
This is the historical archive of Navtalks. For the current schedule, see Navtalks.
Contents[hide] |
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 | André Nogueira | Making the SCADA System Intrusion Tolerant | 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 | 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 | Gonçalo Jesus | Dependable monitoring in aquatic wireless sensor networks | - | - |
Dec-04 | José Rufino | Mechanisms to Enforce Dependability and Timeliness in Wireless Communications | 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 | - | - |
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)