|
|
Line 63: |
Line 63: |
| | | |
| [http://www.navigators.di.fc.ul.pt/wiki/NavTalks] | | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks] |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170628 NavTalk], When: '''Wednesday 2017-Jun-28, 12pm-2pm''', Where: '''room 6.3.38''' <br/> | + | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170926 NavTalk], When: '''Tue 2017-Sep-26, 12pm-2pm''', Where: '''room 6.3.38''' <br/> |
| {| style="border-spacing: 5px; text-align: left; " | | {| style="border-spacing: 5px; text-align: left; " |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Regivaldo Costa ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' A Software-Defined Netwoking approach to enhance BGP security ''' | + | | style="vertical-align: top;white-space: nowrap;" | ''' Oliver Michel <br> University of Colorado Boulder ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Network Defragmentation in Virtualized Data Centers ''' |
- | |}
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170614 NavTalk], When: '''Wednesday 2017-Jun-14, 12pm-2pm''', Where: '''room 6.3.38''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Ibéria Medeiros ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | '''Demonstrating a Tool for Injection Attack Prevention in MySQL '''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Fernando Ramos ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | '''uPVN: User-centric Programmable Virtual Networks '''
| + | |
- | |}
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170517 NavTalk], When: '''Wednesday 2017-May-31, 12pm-2pm''', Where: '''room 6.3.38''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Miguel Correia ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Detecting Malicious Hosts Using Traffic Flows '''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Sileshi Demesi Yalew ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Mobile Device Security with ARM TrustZone '''
| + | |
- | |}
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170517 NavTalk], When: '''Friday 2017-May-19, 12pm-2pm''', Where: '''room 6.3.38''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' João Silva ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Distributed implementation of evolutionary algorithms '''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Diogo Pinto ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | '' (to be rescheduled) ''
| + | |
- | |}
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170503 NavTalk], When: '''Wednesday, 2017-May-03, 12pm-2pm''', Where: '''room 6.3.38''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Rui Miguel ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' P4: Programming Protocol-Independent Packet Processors (Bosshart et al., SIGCOMM'14) '''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Fabio Pereria ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Network Monitoring in a Secure and Efficient Way '''
| + | |
- | |}
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170419 NavTalk], When: '''Wednesday, 2017-Apr-19, 12pm-2pm''', Where: '''room 6.3.38''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Bruno Nunes ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Live Migration of Networks '''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Pedro Alves ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Smarter Routing for a Smarter Grid '''
| + | |
- | |}
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170405 NavTalk], When: '''Wednesday, 2017-Apr-05, 12pm-2pm''', Where: '''room 6.3.38''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Antonio Casimiro ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Enforcing Timeliness and Safety in Mission-Critical Systems '''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Eunice Branco ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Cyberthreat Discovery in Open Source Intelligence using Deep Learning Techniques '''
| + | |
- | |}
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170308 NavTalk], When: '''Wednesday, 2017-Mar-08, 12pm-2pm''', Where: '''room 6.3.38''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Miguel Falé ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Protecting WAP from infinite recursion '''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Henrique Mendes ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Securing DLMS/COSEM implementations for use in the smart grid '''
| + | |
- | |}
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170308 NavTalk], When: '''Wednesday, 2017-Mar-08, 12pm-2pm''', Where: '''room 6.3.38''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Adriano Serckumecka ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Collection and monitoring of security events to feed SIEMs '''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Eric Vial, Max Alaluna,<br> Fernando Ramos ''' || style="vertical-align: top;" | present || style="vertical-align: top;" | ''' Demonstration of Sirius, a Multi-Cloud Network Virtualization Platform '''
| + | |
- | |}
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170222 NavTalk], When: '''Wednesday, 2017-Feb-22, 12pm-2pm''', Where: '''room 6.3.38''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Nuno Neves ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Intrusion Tolerant Eclipse SCADA '''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Bruno Vavala ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Secure Tera-scale Data Crunching with a Small TCB '''
| + | |
- | |}
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170208 NavTalk], When: '''Wednesday, 2017-Feb-08, 12pm-2pm''', Where: '''room 6.3.38''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Tiago Oliveira ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations '''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Max Alanuna ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Sehen: Secure Yet Efficient Virtual Network Embedding in a Multi-Cloud Environment '''
| + | |
- | |}
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170208 NavTalk], When: '''Wednesday, 2017-Jan-25, 12pm-2pm''', <br> Where: '''(exceptionally) room 6.2.46''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Altair Santin ''' <br>(guest speaker) || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Segurança para ambiente de Smart Grid
| + | |
- | (Security for Smart Grid Environments)'''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' João Sousa ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Practical experiences with a BFT middleware database '''
| + | |
- | |}
| + | |
- |
| + | |
- | | + | |
- | [http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
| + | |
- | What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20170113 NavTalk], When: '''Thursday, 2017-Jan-13, 12pm-2pm''', <br> Where: '''(exceptionally) room 6.1.25''' <br/>
| + | |
- | {| style="border-spacing: 5px; text-align: left; "
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' José Rufino ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' The (Hidden) Potential of Non-Intrusive Runtime Verification '''
| + | |
- | |-
| + | |
- | | style="vertical-align: top;white-space: nowrap;" | ''' Inês Gouveia ''' || style="vertical-align: top;" | presents || style="vertical-align: top;" | ''' Enforcing Safety and Security Through Non-Intrusive Runtime Verification '''
| + | |
| |} | | |} |
| | | |
We are the Navigators, a research team on distributed systems, their architectures, their algorithms, in their several skins: fault tolerance, real-time, security, and combinations thereof.
We study new theories to explain distributed systems, and new algorithms to take advantage from them. But we also like to do proof-of-concept experiments about the theory we work on. We try that our papers and theses tell a good story as clearly as possible. We work hard for our demonstrations to be convincing and captivating. Because we believe science is made for others.
Events
[1]
What: NavTalk, When: Tue 2017-Sep-26, 12pm-2pm, Where: room 6.3.38
Oliver Michel University of Colorado Boulder | presents | Network Defragmentation in Virtualized Data Centers
|
Past Navtalk Events