Verifying Cryptographic Protocol Implementations with F*

Course at Summer School on Computer Aided Analysis of Cryptographic Protocols, Bucharest, Romania, 13-14 September 2016

Slides

Code

Setup

More references