Workshop on Security Protocol Implementations: Development and Analysis (SPIDA)
    23 April 2018
   London, United Kingdom
Monday April 23, 2018
14:00 - 15:00
The Protocol Lifecycle [Slides]
Roel Peeters, KU Leuven
15:00 - 16:00
Paper presentations
Vulnerability Detection on Mobile Applications Using State Machine Inference [Slides]
Wesley van der Lee (Delft University of Technology) and Sicco Verwer (Delft University of Technology)

Inferring OpenVPN State Machines Using Protocol State Fuzzing [Slides]
Lesly-Ann Daniel (University of Rennes 1 - ENS Rennes), Joeri de Ruiter (Radboud University) and Erik Poll (Radboud University)
16:00 - 16:30
Coffee break
16:30 - 17:30
Automotive Cyber Security: Lessons Learned and Research Challenges [Slides]
Flavio Garcia, University of Birmingham
17:30 - 18:00
Paper presentations
Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers
Nadim Kobeissi (Symbolic Software)