Formal verification/analysis tools tutorials

Easycrypt

• Formal Methods in Security and Privacy by Marco Gaboardi and Alley Stoughton with a great Lab.
• EasyCrypt: A Tutorial by G. Barthe, François Dupressoir, B. Grégoire, César Kunz, Benedikt Schmidt and Pierre-Yves Strub
• First EasyCrypt School and Workshop
• Summer school - EasyCrypt part 1 by François Dupressoir
• Summer school - EasyCrypt with Jasmin by Vincent Laporte & Benjamin Grégoire
• Easycrypt by Manuel Barbosa - Indocrypt

Ambient logic

• Using EasyCrypt’s Ambient Logic

Jasmin

• How to install by Peter Schwabe
• Installation instructions

Tamarin

• Tamarin-Prover Manual by The Tamarin Team
• An Analysis of the Transport Layer Security Protocol by Thyla van der Merwe
• Tamarin Prover Introduction by David Wong
• Symbolic verification of cryptographic protocols using Tamarin David Basin
• Teaching Materials for the Tamarin Prover by The Tamarin Team

General

• Cyber in Saclay -- Winter School in Cybersecurity