The following program is preliminary.

Monday
8. May
Tuesday
9. May
Wednesday
10. May
Thursday
11. May
Friday
12. May
8:40 Welcome
9:00 – 10:30 Thiemo Voigt

Networking Things

Ahmad Sadeghi

Runtime Attacks

Bart Preneel

Lightweight cryptography for the IoT

Stefan Mangard

Introduction to Side-Channel Attacks

François-Xavier Standaert

Introduction to Power Analysis Attacks and Countermeasures

10:30 – 11:00 Coffee Coffee Coffee Coffee Coffee
11:00 – 12:30 Herbert Bos

The Sad State of Software on Hopeless Hardware

Matteo Maffei

Formal Security Analysis of Android Apps

Stéphanie Delaune

Verification of security protocols: from confidentiality to privacy

Clémentine Maurice

Cache attacks: Software side-channel and fault attacks

Sebastian Faust

Provable security for side-channel countermeasures

12:30 – 14:00 Lunch Lunch Lunch Lunch Lunch
14:00 – 15:30 Alessandro Armando

Formal Methods for Security: challenges and opportunities

Aurélien Francillon

Scalable firmware analysis

PhD Forum
Cryptography
Boris Köpf

Static Analysis of Timing Side Channels

François Dupressoir

Reasoning formally about power side-channels

15:30 – 16:00 Coffee Coffee Social Event
(15:30)
Coffee Coffee
16:00 – 17:00 PhD Forum
The IoT Security Challenge
PhD Forum
System Security
PhD Forum
Software Side-Channels
PhD Forum
Hardware Side-Channels
17:00 – 19:00 Welcome event Lab Night
Binary Exploitation
Lab Night
Side-Channels