Program

Note: On-site participation is required to attend the workshop.

Slides

Monday

• Part I

• Part II

• Part III

Tuesday

• Lecture

• EasyCrypt

• Relational Verification

Wednesday

• Isogeny-based cryptography

• Hash-based signatures

• Exercises (Note: the last one has the solution in the bonus slides)

Thursday

• AI and Side-channel analysis

• Tutorial

Friday

• A Primer on Cache Attacks

• Advances in Microarchitectural Attacks