This page shows all presentations of this author published in EasyChair Smart Slide.
Cracking the Stateful Nut -- Computational Proofs of Stateful Security Protocols Using the Squirrel Proof Assistant
David Baelde, Stephanie Delaune, Adrien Koutsos and Solène Moreau