Jasmin lecture at Cyber in Nancy

As part of the Cyber in Nancy summer school, a few dozens Ph.D. students learned how to write constant-time programs in Jasmin.

The lecture has been followed by a hands-on exercise session.

The lecture material contains:

• Jasmin example programs, discussed during the lecture;
• additional documentation on the Jasmin language and tools;
• exercises for the practical session (with corrections).