NavTalks
From Navigators
(Difference between revisions)
| (5 intermediate revisions not shown) | |||
| Line 239: | Line 239: | ||
">Diverse Intrusion-tolerant Systems</span></td> | ">Diverse Intrusion-tolerant Systems</span></td> | ||
<td style="width:100px"> </td> | <td style="width:100px"> </td> | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
| Line 282: | Line 277: | ||
<td style="width:100px"> </td> | <td style="width:100px"> </td> | ||
</tr> | </tr> | ||
| + | <tr> | ||
| + | <td style="width:100px">26/06</td> | ||
| + | <td style="width:300px">Joao Pinto</td> | ||
| + | <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Ever since its introduction, the car has fundamentally changed our society and it is nearly ubiquitous today. However, there are several problems related to automobiles, one of the major ones being road congestion. Automated driving systems currently rely on their own sensors to gather | ||
| + | information from the real-world, and make informed decisions to keep its passengers safe. But sensors may not be sufficiently accurate during all conditions and can even fail, so systems take this into consideration when controlling the car. Vehicle-to-Vehicle communication can enable cooperation between vehicles, which in turn opens the door for complex vehicular applications such as road-trains (or platooning) and virtual traffic lights. We will implement a vehicular cooperation algorithm backed by both vehicle-to-vehicle communication and a cloud membership service provided by a separate project. | ||
| + | | ||
| + | ">Implementation of a Protocol for Safe Cooperation Between Autonomous Vehicles</span></td> | ||
| + | <td style="width:100px"> </td> | ||
| + | </tr> | ||
| + | <tr> | ||
| + | <td style="width:100px">26/06</td> | ||
| + | <td style="width:300px">Tiago Correia</td> | ||
| + | <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="Personal vehicles are the transportation method chosen by most individuals, which means our cities are built around them and have roads that can go anywhere. Given the amount of vehicles, life in cities is hard, and pollution and traffic congestion are higher than ever. | ||
| + | Nowadays, the first autonomous vehicles are starting to appear, and consequently, bringing the opportunity to once again, try to solve this problem. Although the current ones are still not viable for daily transportation, they already help substantially with traffic and pollution, but sadly, they won’t be enough in the long run and another solution is needed. Existing solutions base their decisions solely on their own sensors and that is the only view they have of the external world, but there is still a subject that was not well explored: cooperation between vehicles. | ||
| + | Vehicle coordination is the next big step, and an essential missing factor that has to be considered for the next generation of autonomous vehicles. Giving vehicles communication capabilities allows them not only to communicate with other vehicles, but also communicate with external services that can aid their cooperation while sharing useful data about their own decisions or the outside environment. This is exactly our approach, we built a cloud based membership service with a global view of every vehicle that can aid each one of them by providing useful information and predictions. | ||
| + | ">Design and Implementation of a Cloud-based Membership System for Vehicular Cooperation</span></td> | ||
| + | <td style="width:100px"> </td> | ||
| + | </tr> | ||
| + | <tr> | ||
| + | <td style="width:100px">26/06</td> | ||
| + | <td style="width:300px">Robin Vassantlal</td> | ||
| + | <td style="width:600px"><span style="border-bottom: dashed 1px #000" title="State Machine Replication is a classical approach used to implement consistent fault-tolerant services, this approach can also be used to implement intrusion tolerant services - which maintain integrity and availability in the presence of Byzantine faults. In order to guarantee confidentiality, the Secret Sharing mechanism can be used to store shares of the data between servers. Of the few works that explore this mechanism, none consider the long-running services, therefore give the adversary unlimited time to collect enough shares to get access to the service state. In this talk, I will present the design and the preliminary evaluation of the implementation of a framework that solves this problem using share renewal protocol. | ||
| + | ">Confidential BFT State Machine Replication</span></td> | ||
| + | <td style="width:100px"> </td> | ||
| + | </tr> | ||
| + | |||
</table> | </table> | ||
</div> | </div> | ||
| - | |||
| Line 292: | Line 312: | ||
############## UPCOMING PRESENTATIONS##################### | ############## UPCOMING PRESENTATIONS##################### | ||
########################################################### | ########################################################### | ||
| - | + | ||
<h2><strong>Upcoming presentations</strong></h2> | <h2><strong>Upcoming presentations</strong></h2> | ||
| Line 321: | Line 341: | ||
</table> | </table> | ||
</div> | </div> | ||
| - | + | --> | |
Revision as of 09:37, 18 July 2019
The NavTalks is a series of informal talks given by Navigators members or some special guests about every two-weeks at Ciências, ULisboa.
Leave mouse over title's presentation to read the abstract.
Contents |
Past presentations
September 2018
| 20 | Alysson Bessani | SMaRtChain: A Principled Design for a New Generation of Blockchains | |
| 20 | Rui Miguel | Named Data Networking with Programmable Switches |
October 2018
| 4 | Bruno Vavala (Research Scientist in Intel Labs) | Private Data Objects | |
| 4 | Marcus Völp (Research Scientist, CritiX, SnT, Univ. of Luxembourg) | Reflective Consensus | |
| 18 | Yair Amir (Professor, Johns Hopkins University) | Timely, Reliable, and Cost-Effective Internet Transport Service using Structured Overlay Networks |
November 2018
| 13 | Salvatore Signorello | The Past, the Present and some Future of Interest Flooding Attacks in Named-Data Networking | |
| 13 | Tiago Oliveira | Vawlt - Privacy-Centered Cloud Storage | |
| 27 | Nuno Neves | Segurança de Software - Como Encontrar uma Agulha num Palheiro? | |
| 27 | Ricardo Mendes | Vawlt - The Zero-knowledge End-to-end Encryption Protocol |
December 2018
| 11/12 | António Casimiro | AQUAMON: Dependable Monitoring with Wireless Sensor Networks in Water Environments | |
| 11/12 | Carlos Nascimento | Review of wireless technology for AQUAMON: Lora, sigfox, nb-iot |
January 2019
| 15/01 | Fernando Alves | A comparison between vulnerability publishing in OSINT and Vulnerability Databases | |
| 15/01 | Ibéria Medeiros | SEAL: SEcurity progrAmming of web appLications | |
| 29/01 | Fernando Ramos | Networks that drive themselves…of the cliff | |
| 29/01 | Miguel Garcia | Some tips before rushing into LaTeX (adapted from: How (and How Not) to Write a Good Systems Paper) |
February 2019
| 19/02 | Ana Fidalgo | Conditional Random Fields and Vulnerability Detection in Web Applications | |
| 19/02 | João Sousa | Towards BFT-SMaRt v2: Blockchains and Flow Control |
March 2019
| 13/03 | Fernando Ramos | How to give a great -- OK, at least a good -- research talk | |
| 13/03 | Ricardo Morgado | Automatically correcting PHP web applications |
March 2019
| 27/03 | Nuno Dionísio | Cyberthreat Detection from Twitter using Deep Neural Networks | |
| 27/03 | Fernando Ramos | My network protocol is better than yours! |
April 2019
| 10/04 | Adriano Serckumecka | SIEMs | |
| 10/04 | Tulio Ribeiro | BFT Consensus & PoW Consensus (blockchain). |
May 2019
| 08/05 | Miguel Garcia | Diverse Intrusion-tolerant Systems | |
| 29/05 | Pedro Ferreira | The concept of the next navigators cybersecurity H2020 project | |
| 29/05 | Vinicius Cogo | Auditable Register Emulations |
June 2019
| 05/06 | Diogo Gonçalves | Network coding switch | |
| 05/06 | Francisco Araújo | Generating Software Tests To Check For Flaws and Functionalities | |
| 26/06 | Joao Pinto | Implementation of a Protocol for Safe Cooperation Between Autonomous Vehicles | |
| 26/06 | Tiago Correia | Design and Implementation of a Cloud-based Membership System for Vehicular Cooperation | |
| 26/06 | Robin Vassantlal | Confidential BFT State Machine Replication |
