Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Solène Moreau
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
Keyphrases
computational security
,
formal methods
,
interactive theorem proving
,
logic
,
security protocols
.
Copyright © 2012-2024 easychair.org. All rights reserved.