NavTalks

From Navigators

(Difference between revisions)
Jump to: navigation, search
(44 intermediate revisions not shown)
Line 1: Line 1:
The Navtalks is a series of informal talks given by Navigators members or some special guests about every two-weeks at Ciências, ULisboa.
The Navtalks is a series of informal talks given by Navigators members or some special guests about every two-weeks at Ciências, ULisboa.
-
Please check out the schedule in our [https://calendar.google.com/calendar/embed?src=navtalks%40gmail.com&mode=AGENDA public NavTalks Google Calendar] (you can also subscribe through its [https://calendar.google.com/calendar/ical/navtalks%40gmail.com/public/basic.ics ICAL link]).  
+
<!--Please check out the schedule in our [https://calendar.google.com/calendar/embed?src=navtalks%40gmail.com&mode=AGENDA public NavTalks Google Calendar] (you can also subscribe through its [https://calendar.google.com/calendar/ical/navtalks%40gmail.com/public/basic.ics ICAL link]). -->
{| class="wikitable" style="font-size: 8pt; text-align: center; width: 30%;"
{| class="wikitable" style="font-size: 8pt; text-align: center; width: 30%;"
| style="width: 33.33%; " | scheduled || style="width: 33.33%; background-color: lightgreen;" | next || style="width: 33.33%; background-color:lightgray;" | to be defined
| style="width: 33.33%; " | scheduled || style="width: 33.33%; background-color: lightgreen;" | next || style="width: 33.33%; background-color:lightgray;" | to be defined
|}
|}
-
 
-
 
{| 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
 +
|-
 +
|-id="slNT20170926"
 +
| rowspan="1"| Oct 12 @ 12pm <br> room 6.3.38
 +
| [[Alysson_Bessani | Alysson Bessani]] ||  How to do Research in Navigators/LASIGE
 +
|-
 +
|-id="slNT20171024"
 +
| rowspan="2" | Oct 24 @ 12pm <br> room 8.2.19
 +
| Eduardo Viegas  <br> (PUCPR)    || Network-based Intrusion Detection: on Protecting a Moving Target <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/0/07/Eduardo_Viegas.pdf slides]
|-  
|-  
-
| [[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]
+
| [[Ricardo_Fonseca | Ricardo Fonseca]]     || Demonstration of resilient communications in the context of a smart grid
|-
|-
-
|-id="slNT20170125"  
+
|-id="slNT20170926"  
-
| rowspan="2" | 25/01 12pm <br> '''room 6.2.46'''
+
| rowspan="2" | Nov 7 @ 12 pm <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)
+
[[Max_Alaluna|Max Alaluna]] ||  Secure Multi-Cloud Network Virtualization <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/2/20/Navtalk_MaxAlaluna_8nov17_final.pdf slides]
|-  
|-  
-
| [[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]
+
| [[Túlio_Ribeiro|Túlio Ribeiro]] ||  Heimdall: a Distributed and Fault Tolerant Update Aware SDN Controller <br> [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/d/de/Presentation_Heimdall_TulioRibeiro.pdf slides]
|-
|-
-
|-id="slNT20170208"   
+
|-id="slNT20170926"   
-
| rowspan="2"| 08/02 12pm <br> room 6.3.38
+
| rowspan="2" | Nov 22 @ 12 pm <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]
+
| [[Alysson_Bessani | Alysson Bessani]] ||  Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform
-
|-                                 
+
-
|  [[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"
+
Wilson Melo ||  How Blockchains can help Legal Metrology
-
| 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     
+
|-
|-
-
|-id="slNT20170308"
+
|-id="slNT20170926"  
-
| rowspan="2"| 08/03  <br> room 6.3.38
+
| rowspan="2" | Dec 6 @ 12 pm <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]  
+
| Rui Miguel ||  Named Data Networking with Programmable Switches
|-  
|-  
-
| [[Eric_Vial|Eric Vial]], [[Max_Alaluna |Max Alaluna ]],  [[Fernando_Ramos | Fernando Ramos ]] || Demonstration of Sirius, a Multi-Cloud Network Virtualization Platform     
+
| [[Alysson_Bessani | Alysson Bessani]] ||  GINJA: One-dollar Cloud-based Disaster Recovery for Databases
|-
|-
-
|-id="slNT20170322"  
+
|
-
| rowspan="2"| 22/03  <br> room 6.3.38
+
|-id="slNT20170926" font-size: 12pt; width: 10%;" 
-
| [[Miguel_Falé | Miguel Falé ]] ||  Protecting WAP from infinite recursion   
+
| rowspan="2" | Spring'17 || rowspan="2" colspan="2" style="font-size: 12pt; width: 90%;" |Presentations
-
|-  
+
-
|  [[ 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
+
|-id="slNT20170926" style="background-color:lightgreen;" 
-
| [[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] 
+
| rowspan="2" | Jan 24 @ 12 pm <br> room 6.3.38
-
|-  
+
| [[José_Rufino | José Rufino]] ||  NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems
-
[[Eunice_Branco | Eunice Branco ]]  || Cyberthreat Discovery in Open Source Intelligence using Deep Learning Techniques     
+
|- style="background-color:lightgreen;"
 +
Free Slot || -
|-
|-
-
|-id="slNT20170419"   
+
|-id="slNT20170926" style="background-color:lightgray;"   
-
| rowspan="2"| 19/04  <br> room 6.3.38
+
| rowspan="2" | Feb 7 @ 12 pm <br> room 6.3.38
-
| [[Bruno_Nunes | Bruno Nunes ]] ||  Live Migration of Networks   
+
| [[Miguel_Garcia | Miguel Garcia]] ||  TBA
-
|-
+
|- style="background-color:lightgray;"
-
|  [[ Pedro_Alves | Pedro Alves ]] || Smarter Routing for a Smarter Grid    
+
|  [[Fernando_Ramos| Fernando Ramos]] ||  TBA
|-
|-
-
|-id="slNT20170503"  
+
|-id="slNT20170926" style="background-color:lightgray;" 
-
| rowspan="2"| 03/05 <br> room 6.3.38
+
| rowspan="2" | Feb 21 @ 12 pm <br> room 6.3.38
-
| [[ Rui_Marques | Rui Miguel ]] ||  P4: Programming Protocol-Independent Packet Processors (Bosshart et al., SIGCOMM'14) 
+
| [[Nuno_Ferreira_Neves | Nuno Neves]] ||  TBA
-
|-
+
|- style="background-color:lightgray;"
-
[[Fabio_Pereira | Fabio Pereira ]]  || Network Monitoring in a Secure and Efficient Way   
+
Rui Azevedo ||   TBA
|-
|-
-
|-id="slNT20170517"   
+
|-id="slNT20170926" style="background-color:lightgray;"   
-
| rowspan="2"| 19/05 <br> room 6.3.38
+
| rowspan="2" | Mar 7 @ 12 pm <br> room 6.3.38
-
| [[ João_Silva| João Silva ]] || Distributed implementation of evolutionary algorithms     
+
| [[António_Casimiro | António Casimiro]] || TBA
-
|-  
+
|- style="background-color:lightgray;"
-
| [[ Diogo_Pinto | Diogo Pinto ]] || ''(to be rescheduled)''   
+
| [[Eric_Vial| Eric Vial]] ||   TBA
|-
|-
-
|-id="slNT20170531" style="background: lightgreen;"
+
|-id="slNT20170926" style="background-color:lightgray;"
-
| rowspan="2"| 31/05 <br> room 6.3.38
+
| rowspan="2" | Mar 21 @ 12 pm <br> room 6.3.38
-
| Miguel Correia <br> IST-ULisboa || Detecting Malicious Hosts Using Traffic Flows   
+
| [[Ibéria_Medeiros | Ibéria Medeiros]] || TBA
-
|- style="background: lightgreen;"
+
|- style="background-color:lightgray;"
-
| Sileshi Demesi Yalew <br> IST-ULisboa || -
+
| Tomás Peixinho ||   TBA
|-
|-
-
|-id="slNT"  
+
|-id="slNT20170926" style="background-color:lightgray;" 
-
| rowspan="3"| 14/06 <br> room 6.3.38
+
| rowspan="2" | Apr 4 @ 12 pm <br> room 6.3.38
-
| [[ Pedro_Ferreira | Pedro Ferreira ]] ||  -  
+
| [[Vinicius_Vielmo_Cogo | Vinicius Cogo]] ||  TBA
 +
|- style="background-color:lightgray;"
 +
|  Wilson Melo ||  TBA
|-
|-
-
|  [[Ibéria_Medeiros|Ibéria Medeiros]]     || -  
+
|-id="slNT20170926" style="background-color:lightgray;"  
 +
| rowspan="2" | Apr 18 @ 12 pm <br> room 6.3.38
 +
| [[Ricardo_Mendes | Ricardo Mendes]] ||  TBA
 +
|- style="background-color:lightgray;"
 +
|  [[Fernando_Alves | Fernando Alves]] ||  TBA
 +
|-
 +
|-id="slNT20170926" style="background-color:lightgray;" 
 +
| rowspan="2" | May 2 @ 12 pm <br> room 6.3.38
 +
| Paulo Antunes ||  TBA
 +
|- style="background-color:lightgray;"
 +
|  [[AdrianoSerckumecka | Adriano Serckumecka]] ||  TBA
 +
|-
 +
|-id="slNT20170926" style="background-color:lightgray;" 
 +
| rowspan="2" | May 16 @ 12 pm <br> room 6.3.38
 +
|  [[Pedro_Ferreira | Pedro Ferreira]] ||  TBA
 +
|- style="background-color:lightgray;"
 +
|  Nuno Dionisio ||  TBA
 +
|-
 +
|-id="slNT20170926" style="background-color:lightgray;" 
 +
| rowspan="2" | May 30 @ 12 pm <br> room 6.3.38
 +
|  [[João_Sousa | João Sousa]] ||  TBA
 +
|- style="background-color:lightgray;"
 +
|  [[Tiago_Oliveira | Tiago Oliveira]] ||  TBA
|-
|-
-
|-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 ]]  || -
 
|}
|}
-
 
+
<!-- style="background-color:lightgray;"  style="background-color:lightgreen;"-->  
-
{| 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. 
+
-
|}
+

Revision as of 11:19, 16 January 2018

The Navtalks is a series of informal talks given by Navigators members or some special guests about every two-weeks at Ciências, ULisboa.

scheduled next to be defined
Fall'17 Presentations
When & Where Speaker Title
Sep 26 @ 3.30pm
room 6.3.38
Oliver Michel
University of Colorado Boulder
Network Defragmentation in Virtualized Data Centers
Oct 12 @ 12pm
room 6.3.38
Alysson Bessani How to do Research in Navigators/LASIGE
Oct 24 @ 12pm
room 8.2.19
Eduardo Viegas
(PUCPR)
Network-based Intrusion Detection: on Protecting a Moving Target
slides
Ricardo Fonseca Demonstration of resilient communications in the context of a smart grid
Nov 7 @ 12 pm
room 6.3.38
Max Alaluna Secure Multi-Cloud Network Virtualization
slides
Túlio Ribeiro Heimdall: a Distributed and Fault Tolerant Update Aware SDN Controller
slides
Nov 22 @ 12 pm
room 6.3.38
Alysson Bessani Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform
Wilson Melo How Blockchains can help Legal Metrology
Dec 6 @ 12 pm
room 6.3.38
Rui Miguel Named Data Networking with Programmable Switches
Alysson Bessani GINJA: One-dollar Cloud-based Disaster Recovery for Databases
Spring'17 Presentations
Jan 24 @ 12 pm
room 6.3.38
José Rufino NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems
Free Slot -
Feb 7 @ 12 pm
room 6.3.38
Miguel Garcia TBA
Fernando Ramos TBA
Feb 21 @ 12 pm
room 6.3.38
Nuno Neves TBA
Rui Azevedo TBA
Mar 7 @ 12 pm
room 6.3.38
António Casimiro TBA
Eric Vial TBA
Mar 21 @ 12 pm
room 6.3.38
Ibéria Medeiros TBA
Tomás Peixinho TBA
Apr 4 @ 12 pm
room 6.3.38
Vinicius Cogo TBA
Wilson Melo TBA
Apr 18 @ 12 pm
room 6.3.38
Ricardo Mendes TBA
Fernando Alves TBA
May 2 @ 12 pm
room 6.3.38
Paulo Antunes TBA
Adriano Serckumecka TBA
May 16 @ 12 pm
room 6.3.38
Pedro Ferreira TBA
Nuno Dionisio TBA
May 30 @ 12 pm
room 6.3.38
João Sousa TBA
Tiago Oliveira TBA



For past years, please check out our archive.




Personal tools
Navigators toolbox