| Monday 8. May |
Tuesday 9. May |
Wednesday 10. May |
Thursday 11. May |
Friday 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 | 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 (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 Buschenschank |
Programming Lab Side-Channels |
||
| 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.