8. May
9. May
10. May
11. May
12. May
8:00 Registration
8:45 Welcome
9:00 – 10:30 Thiemo Voigt

Networking Things

Matteo Maffei

Formal Security Analysis of Android Apps

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

Ahmad Sadeghi

The Continuing Arms Race: Code-Reuse Attacks and Defenses

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
(till 15:00)
Boris Köpf

Static Analysis of Timing Side Channels

François Dupressoir

Reasoning formally about power side-channels

15:30 – 16:00 Coffee Coffee Coffee (15:00 – 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 – 18:30 Programming Lab
Binary Exploitation
Social Event
Programming Lab
18:30 – 19:00 Welcome Dinner
19:00 – 20:00 Dinner Dinner
20:00 – open end Get together  (Drinks, bonfire…)

You can download presentation slides here.