Formal Proofs of Cryptographic Protocols with Squirrel

Code Slides

Abstract

One day lecture at the EJCP'26 summer school on Squirrel (with Joseph Lallemand).

Date
Oct 14, 2026 3:00 PM
Event
EJCP'26 Summer School
Location
Nantes, France
Researcher

My research interests include formal methods, security, cryptographic protocols and privacy.