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
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 - 15:00
Talk
Learning from attacks and failures: generating reliability models from data
SPIoT
Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen
15:00 - 15:30
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