|
|
(38 intermediate revisions not shown) |
Line 8: |
Line 8: |
| | | |
| {| class="wikitable" style="font-size: 10pt; text-align: center; width: 100%;" | | {| 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 | + | | style="font-size: 12pt; width: 10%;" | Fall'17 || colspan="2" style="font-size: 12pt; width: 90%;" |Presentations |
| |- | | |- |
| | When & Where || Speaker || Title | | | When & Where || Speaker || Title |
| |- | | |- |
- | |-id="slNT20170113" | + | |-id="slNT20170926" |
- | | rowspan="2"| 13/01 12pm <br> '''room 6.1.25''' | + | | rowspan="1"| Sep 26 @ 3.30pm <br> room 6.3.38 |
- | | [[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] | + | | Oliver Michel <br> University of Colorado Boulder || Network Defragmentation in Virtualized Data Centers |
- | |- | + | |
- | | [[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" | + | |-id="slNT20170926" |
- | | rowspan="2" | 25/01 12pm <br> '''room 6.2.46''' | + | | rowspan="1"| Oct 12 @ 12pm <br> room 6.3.38 |
- | | '''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)
| + | | [[Alysson_Bessani | Alysson Bessani]] || How to do Research in Navigators/LASIGE |
- | |-
| + | |
- | | [[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" | + | |-id="slNT20171024" ; style="background-color:lightgreen;" |
- | | rowspan="2"| 08/02 12pm <br> room 6.3.38 | + | | rowspan="1" | Oct 24 @ 12pm <br> room 8.2.19 |
- | | [[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] | + | | Eduardo Viegas <br> (PUCPR) || Network-based Intrusion Detection: on Protecting a Moving Target |
- | |- | + | |- style="background-color:lightgreen;" |
- | | [[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] | + | | |
| + | | [[Ricardo_Fonseca | Ricardo Fonseca]] || Demonstration of resilient communications in the context of a smart grid |
| + | |-id="-" ; style="background-color:lightgray;" |
| + | | rowspan="1" | - <br> room 6.3.38 |
| + | | [[Miguel_Garcia|Miguel Garcia]] || Demonstration of resilient communications in the context of a smart grid |
| |- | | |- |
- | |-id="slNT20170222" | + | |-id="-" ; style="background-color:lightgray;" |
- | | rowspan="2"| 22/02 <br> room 6.3.38 | + | | rowspan="2"| - <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] | + | | [[Túlio_Ribeiro|Túlio Ribeiro]] || - |
- | |- | + | |- style="background-color:lightgray;" |
- | | [[ Bruno_Vavala | Bruno Vavala ]] || Secure Tera-scale Data Crunching with a Small TCB | + | | [[Vinicius_Vielmo_Cogo | Vinicius Cogo]] || - |
| |- | | |- |
- | |-id="slNT20170308" | + | |-id="-" ; style="background-color:lightgray;" |
- | | rowspan="2"| 08/03 <br> room 6.3.38 | + | | rowspan="2"| - <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] | + | | [[Ricardo_Mendes | Ricardo Mendes]] || - |
- | |- | + | |- style="background-color:lightgray;" |
- | | [[Eric_Vial|Eric Vial]], [[Max_Alaluna |Max Alaluna ]], [[Fernando_Ramos | Fernando Ramos ]] || Demonstration of Sirius, a Multi-Cloud Network Virtualization Platform | + | | [[Fernando_Alves | Fernando Alves]] || - |
| |- | | |- |
- | |-id="slNT20170322" | + | |-id="-" ; style="background-color:lightgray;" |
- | | rowspan="2"| 22/03 <br> room 6.3.38
| + | | rowspan="2"| - <br> room 6.3.38 |
- | | [[Miguel_Falé | Miguel Falé ]] || Protecting WAP from infinite recursion
| + | | [[Tiago_Oliveira | Tiago Oliveira ]] || - |
- | |-
| + | |- style="background-color:lightgray;" |
- | | [[ Henrique_Mendes | Henrique Mendes ]] || Securing DLMS/COSEM implementations for use in the smart grid
| + | | [[João_Sousa|João Sousa]] || - |
- | |-
| + | |
- | |-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
| + | |
- | |-
| + | |
- | |-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)
| + | |
- | |-
| + | |
- | | [[Fabio_Pereira | Fabio Pereira ]] || Network Monitoring in a Secure and Efficient Way
| + | |
- | |-
| + | |
- | |-id="slNT20170517" style="background: lightgreen;"
| + | |
- | | rowspan="2"| --- <br> '''room 6.2.42'''
| + | |
- | | [[ Diogo_Pinto | Diogo Pinto ]] || -
| + | |
- | |- style="background: lightgreen;"
| + | |
- | | [[ João_Silva| João Silva ]] || -
| + | |
- | |-
| + | |
- | |-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 || -
| + | |
- | |-
| + | |
- | |-id="slNT" style="background-color: lightgray;"
| + | |
- | | rowspan="2"| 14/06 <br> room 6.3.38 | + | |
- | | [[ Pedro_Ferreira | Pedro Ferreira ]] || - | + | |
- | |- style="background-color: lightgray;" | + | |
- | | [[ Joao_Paulino | João Paulino ]] || - | + | |
- | |- | + | |
- | |-id="slNT" style="background-color: lightgray;"
| + | |
- | | rowspan="2"| 28/06 <br> room 6.3.38
| + | |
- | | [[Gonçalo_Reis | Gonçalo Reis ]] || -
| + | |
- | |- style="background-color: lightgray;"
| + | |
- | | [[ Regivaldo_Costa | Regivaldo Costa ]] || - | + | |
| |} | | |} |
| | | |
| | | |
| | | |
- | {| 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.
| |
- | |}
| |
| | | |
| | | |
The Navtalks is a series of informal talks given by Navigators members or some special guests about every two-weeks at Ciências, ULisboa.