EasyChair Smart SlideDocs/Log in
Author: David Baelde

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

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

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair