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

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

14:00 - 15:30: IISPIoT at S510
14:00 - 14:30
ADTLang: A Programming Language Approach to Attack Defense Trees
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 - 15:00
Learning from attacks and failures: generating reliability models from data
Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen
15:00 - 15:30
Graph-based Technique for Survivability Estimation and Optimization of IoT Applications
Vladimir ShakhovUniversity of Ulsan, South Korea, Insoo KooUniversity of Ulsan, South Korea