ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
You're viewing the program in a time zone which is different from your device's time zone - change time zone

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
14:00 - 15:30
IISPIoT at S510
14:00
30m
Talk
ADTLang: A Programming Language Approach to Attack Defense Trees
SPIoT
René Rydhof HansenAalborg University, Denmark, Peter Gjøl JensenAalborg University, Denmark, Kim LarsenAalborg University, Axel LegayINRIA Rennes, Danny Bøgsted PoulsenUniversity of Kiel, Germany
14:30
30m
Talk
Learning from attacks and failures: generating reliability models from data
SPIoT
Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen
15:00
30m
Talk
Graph-based Technique for Survivability Estimation and Optimization of IoT Applications
SPIoT
Vladimir ShakhovUniversity of Ulsan, South Korea, Insoo KooUniversity of Ulsan, South Korea

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S510
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)