ADTLang: A Programming Language Approach to Attack Defense Trees (SPIoT 2019 - Workshop on Security practices for Internet of Things) - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

René Rydhof Hansen, Peter Gjøl Jensen, Kim Larsen, Axel Legay, Danny Bøgsted Poulsen

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Sun 7 Apr 2019 14:00 - 14:30 at S510 - II

René Rydhof Hansen

Aalborg University, Denmark

Peter Gjøl Jensen

Aalborg University, Denmark

Kim Larsen

Aalborg University

Denmark

Axel Legay

INRIA Rennes

France

Danny Bøgsted Poulsen

University of Kiel, Germany

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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

	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