Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
computational security
Publications
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
EasyChair Preprint 8631
Copyright © 2012-2024 easychair.org. All rights reserved.