ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 11:30 - 12:00 at S510 - I

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
11:00
30m
Invited Talk: Expected Cost Analysis of Attack-Defence Trees
SPIoT
Jan KretinskyTechnical University of Munich
11:30
30m
Talk
Static Analysis for the OWASP IoT Top 10 2018.
SPIoT
Pietro FerraraJuliaSoft SRL, Italy, Amit Kr MandalUniversità Ca' Foscari, Venezia, Italy, Agostino CortesiUniversità Ca' Foscari Venezia, Fausto SpotoU. Verona
12:00
30m
Talk
The Refinement-Risk Loop - A Process for Security Engineering in Isabelle
SPIoT
Florian KammüllerMiddlesex University, UK