Programme
Monday April 23, 2018
14:00 - 15:00
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)
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
Keynote
Automotive Cyber Security: Lessons Learned and Research Challenges [Slides]
Flavio Garcia, University of Birmingham
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)
Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers
Nadim Kobeissi (Symbolic Software)