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