Verifying Cryptographic Implementations with F*

Course at Summer School on Models and Tools for Cryptographic Proofs, Nancy, France, 10-13 July 2017

Lecturers: Cătălin Hriţcu, Markulf Kohlweiss, Kenji Maillard

Materials

Code

Setup

More references