Summer School
June 13–17, 2022

Šibenik, Croatia
   Summer School
   on real-world crypto and privacy
Programme
Preliminary version of the programme.

Sunday, June 12th
17:00-19:00
Registration
Monday, June 13th
08.00-09.00
Registration
08.50-09.00
Welcome
09.00-10.30
Efficient software implementation of curve-based cryptography – Diego Aranha
[abstract] – Lecture Room 2 (Hotel Ivan)
10.30-11.00
Coffee break
11.00-12.30
Analyzing Payment Protocols with Tamarin – David Basin
[abstract] – Lecture Room 2 (Hotel Ivan)
12.30-14.00
Lunch
14.00-15.30
How Private is Web Browsing, Anyway? – Thyla van der Merwe
[abstract] – Lecture Room 2 (Hotel Ivan)
15.30-16.00
Coffee break
16.00-17.30
Elliptic-curve and isogeny-based cryptography – Chloe Martindale
[abstract] – Lecture Room 2 (Hotel Ivan)
17.30-18.30
Student session – Lecture Room 2 (Hotel Ivan)
19.30-21:30
Welcome reception
Tuesday, June 14th
Lecture Room 2 (Hotel Ivan)
Lecture Room 4 (Hotel Ivan)
Lecture Room 5 (Hotel Ivan)
09.00-10.30
The search for randomness: essential for security – Ingrid Verbauwhede
[abstract]
Tutorial: Tamarin Prover Tutorial – Cas Cremers
[abstract]
Tutorial: Hands-on Introductory Tutorial on Network Intrustion Detection – Nele Mentens, Jo Vliegen, Laurens Le Jeune and Arish Sateesan
[abstract]
10.30-11.00
Coffee break
11.00-12.30
Hardware-software Contracts for Secure Speculation – Boris Köpf
[abstract]
Tutorial: Tamarin Prover Tutorial – Cas Cremers
[abstract]
Tutorial: Hands-on Introductory Tutorial on Network Intrustion Detection – Nele Mentens, Jo Vliegen, Laurens Le Jeune and Arish Sateesan
[abstract]
12.30-14.00
Lunch
14.00-15.30
TBA – Kenny Paterson
[abstract]
Tutorial: Tamarin Prover Tutorial – Cas Cremers
[abstract]
Tutorial: A Primer on Cache Attacks – Chitchanok Chuengsatiansup and Yuval Yarom
[abstract]
15.30-16.00
Coffee Break
16:00-17:30
Machine Learning (for) Security: Lessons Learned and Future Challenges – Battista Biggio
[abstract]
Tutorial: Tamarin Prover Tutorial – Cas Cremers
[abstract]
Tutorial: A Primer on Cache Attacks – Chitchanok Chuengsatiansup and Yuval Yarom
[abstract]
17:30-18:30
Wednesday, June 15th
09.00-10.30
How I Learned to Stop Worrying and Love Hardware Trojans – Christof Paar
[abstract] – Lecture Room 2 (Hotel Ivan)
10.30-11.00
Coffee break
11.00-12.30
Micro-architectural attacks: from CPU to browser – Clémentine Maurice
[abstract] – Lecture Room 2 (Hotel Ivan)
12.30-14:00
Lunch
Thursday, June 16th
Lecture Room 2 (Hotel Ivan)
Lecture Room 4 (Hotel Ivan)
Lecture Room 5 (Hotel Ivan)
09.00-10.30
Tools and Methods for Pre-silicon Analysis of Secure Hardware – Patrick Schaumont
[abstract]
Tutorial: An introduction to machine-checked cryptography in EasyCrypt and Jasmin – Manuel Barbosa
[abstract]
Tutorial: Deep Learning-based Side-channel Analysis – Stjepan Picek
[abstract]
10.30-11.00
Coffee break
11.00-12.30
TBA – TBA
[abstract]
Tutorial: An introduction to machine-checked cryptography in EasyCrypt and Jasmin – Manuel Barbosa
[abstract]
Tutorial: Deep Learning-based Side-channel Analysis – Stjepan Picek
[abstract]
12.30-14.00
Lunch
14.00-15.30
Short talks – TBA
[abstract]
Tutorial: The hitchhiker's guide to the Security and Privacy of Federated Learning – Ahmad-Reza Sadeghi
[abstract]
Tutorial: A Brief Introduction to Hardware Reverse Engineering – Steffen Becker
[abstract]
15.30-16.00
Coffee Break
16:00-17:30
TBA Yuval Yarom
[abstract]
Tutorial: The hitchhiker's guide to the Security and Privacy of Federated Learning – Ahmad-Reza Sadeghi
[abstract]
Tutorial: A Brief Introduction to Hardware Reverse Engineering – Steffen Becker
[abstract]
20.00
Banquet
Friday, June 17
09.00-10.30
Recent Wi-Fi attacks and defenses: general lessons learned and open problems – Mathy Vanhoef
[abstract] – Lecture Room 2 (Hotel Ivan)
10.30-11.00
Coffee break
11.00-12.30
Securing Low-End IoT Devices against Bricking Attacks – Gene Tsudik
[abstract] – Lecture Room 2 (Hotel Ivan)
12.30-14:00
Lunch & Farewell