This page gathers the material related to the Cyber In Nancy 2022 lecture on “High-Assurance High-Speed Cryptography Implementations in Jasmin”.