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
Roel Peeters, KU Leuven
15:00 - 16:00
Paper presentations
Vulnerability Detection on Mobile Applications Using State Machine Inference
Wesley van der Lee (Delft University of Technology) and Sicco Verwer (Delft University of Technology)

Inferring OpenVPN State Machines Using Protocol State Fuzzing
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
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)