VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
ETAPS 2019 (series) / VerifyThis 2019 (series) / Charles University /

Room information: S510

VenueCharles University
Room nameS510
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
ISPIoT at S510
11:00
30m
Invited Talk: Expected Cost Analysis of Attack-Defence Trees
SPIoT
Jan Kretinsky Technical University of Munich
11:30
30m
Talk
Static Analysis for the OWASP IoT Top 10 2018.
SPIoT
Pietro Ferrara JuliaSoft SRL, Italy, Amit Kr Mandal Università Ca' Foscari, Venezia, Italy, Agostino Cortesi Università Ca' Foscari Venezia, Fausto Spoto U. Verona
12:00
30m
Talk
The Refinement-Risk Loop - A Process for Security Engineering in Isabelle
SPIoT
Florian Kammüller Middlesex University, UK
14:00 - 15:30
IISPIoT at S510
14:00
30m
Talk
ADTLang: A Programming Language Approach to Attack Defense Trees
SPIoT
René Rydhof Hansen Aalborg University, Denmark, Peter Gjøl Jensen Aalborg University, Denmark, Kim Larsen Aalborg University, Axel Legay INRIA Rennes, Danny Bøgsted Poulsen University of Kiel, Germany
14:30
30m
Talk
Learning from attacks and failures: generating reliability models from data
SPIoT
Marielle Stoelinga University of Twente and Radboud University, Nijmegen
15:00
30m
Talk
Graph-based Technique for Survivability Estimation and Optimization of IoT Applications
SPIoT
Vladimir Shakhov University of Ulsan, South Korea, Insoo Koo University of Ulsan, South Korea

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S510

SPIoT

SPIoT

I

SPIoT

II

SPIoT

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
S510
SPIoT
Invited Talk: Expected Cost Analysis of Attack-Defence Trees
11:00 - 11:30
SPIoT
Static Analysis for the OWASP IoT Top 10 2018.
11:30 - 12:00
SPIoT
The Refinement-Risk Loop - A Process for Security Engineering in Isabelle
12:00 - 12:30
SPIoT
ADTLang: A Programming Language Approach to Attack Defense Trees
14:00 - 14:30
SPIoT
Learning from attacks and failures: generating reliability models from data
14:30 - 15:00
SPIoT
Graph-based Technique for Survivability Estimation and Optimization of ...
15:00 - 15:30