ETAPS 2019 (series) / SPIoT 2019 (series) /
SPIoT 2019 Program
This is the SPIoT 2019 program - see the full program for ETAPS 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 Apr
Displayed 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 Kretinsky Technical University of Munich | ||
11:30 30mTalk | 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 30mTalk | The Refinement-Risk Loop - A Process for Security Engineering in Isabelle SPIoT Florian Kammüller Middlesex University, UK | ||
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | Learning from attacks and failures: generating reliability models from data SPIoT Marielle Stoelinga University of Twente and Radboud University, Nijmegen | ||
15:00 30mTalk | Graph-based Technique for Survivability Estimation and Optimization of IoT Applications SPIoT | ||