Lotfi ben Othmane
Iowa State University, USA

Keynote : On the security of connected vehicles

Abstract: On newer vehicles, Electronic Control Units (ECUs) communicate using in-vehicle networks to control their behaviors. Several Intelligent Transportation Systems (ITS) applications that communicate with the in-vehicle network have been proposed and implemented to improve drivers experience and road safety. Examples of these applications include fleet management systems, cooperative adaptive cruise control, and autonomous cars. Unfortunately, these applications impact the security of the vehicles. We discuss in the talk the injection of messages into the in-vehicle networks. Then, we report about the results of a security analysis of a vehicle-to-vehicle (V2V) device and discuss the limitation of the threat modeling of autonomous vehicles. We report afterwards about our work on the use of machine learning to detect injection of speed and RPM readings messages in the in-vehicle network.

Bio: Dr. Lotfi ben Othmane is Teaching Assistant Professor at the Department of Electrical and Computer Engineering and is leading the Engineering Secure Smart Cyber-Physical Systems Lab at Iowa State University, Ames, Iowa. Previously, he was a Research Scientist and then Head of the Secure Software Engineering department at Fraunhofer SIT, Germany. Lotfi received his Ph.D. from Western Michigan University (WMU), USA, in 2010; the M.S. in computer science from University of Sherbrooke, Canada, in 2000; and the B.S in information systems from University of Economics and Management of Sfax, Tunisia, in 1995. He works on software security for cyber-physical systems. Dr. Ben Othmane is an IEEE Cybersecurity Ambassador.

Riadh Robbana
University of Carthage, Tunisia

Keynote : Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol

Abstract: Blockchain provides the possibility to design new types of applications and systems that allow their users to store data in a secure and transparent way. In this work, we design a fully verifiable online electronic voting protocol using a blockchain. Our e-voting protocol, called VYV for Verify-Your-Vote, involves cryptographic primitives based on Elliptic-Curve Cryptography (ECC), pairings and Identity Based Encryption (IBE). It ensures the following privacy and security properties: only eligible voter can vote, authentication of the voter, vote privacy, receipt-freeness, fairness, individual and universal verifiability. Furthermore, we formally prove the security of our protocol, using ProVerif tool.

Key words: Online e-voting, Blockchain, Elliptic Curve Cryptography, ProVerif, Verifiability.

Bio: Riadh Robbana is currently a Computer Science Professor at the National Institute of Applied Siences and Technology at Tunis. He is leader of a resarch group working on formal methods and security problems. He received a Computer Science Engineering diploma in 1991 from the Faculty of Sciences of Tunis, a Master in Computer Science in 1992 from the National Polytechnic Institute of Grenoble (INPG, Grenoble, France), and a Doctorate in Computer Science in 1995 from Joseph Fourier University at Grenoble (France). In 2004, he was habilitated to conduct research in Computer Science at The Faculty of Sciences of Tunis. He was often invited as a researcher or a professor in many universities and research labs such as the Ecole Centrale de Marseille, the CNAM at Paris, University of Paris VII, Stanford Research Institute, Grenoble University. He was a Jury member in the season 7 of the competition “Stars of Sciences”. He was also Judge in the worldwide final Imagine Cup competition for several years (New York, Sydney, ...).