NavTalks

From Navigators

(Difference between revisions)
Jump to: navigation, search
Line 50: Line 50:
|-id="slNT20170405" style="background: lightgreen;"
|-id="slNT20170405" style="background: lightgreen;"
| rowspan="2"| 05/04  <br> room 6.3.38
| rowspan="2"| 05/04  <br> room 6.3.38
-
| [[António_Casimiro  | António Casimiro  ]] || Enforcing Timeliness and Safety in Mission-Critical Systems  
+
| [[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] 
|- style="background: lightgreen;"
|- style="background: lightgreen;"
|  [[Eunice_Branco | Eunice Branco ]]  || Cyberthreat Discovery in Open Source Intelligence using Deep Learning Techniques       
|  [[Eunice_Branco | Eunice Branco ]]  || Cyberthreat Discovery in Open Source Intelligence using Deep Learning Techniques       

Revision as of 14:46, 5 April 2017

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 public NavTalks Google Calendar (you can also subscribe through its ICAL link).

scheduled next to be defined


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
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
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
19/04 Bruno Nunes -
Pedro Alves -
03/05 Rui Marques -
Fabio Pereira -
17/05 Diogo Pinto -
João Silva -
31/05 João Paulino -
Gonçalo Reis -


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.


For past years, please check out our archive.




Personal tools
Navigators toolbox