Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
security protocols
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
SAFEST: Secure Actions for FTP Environment with Smart Token
Tarek Sobh
and
Awad Khalil
In
:
Proceedings of 32nd International Conference on Computer Applications in Industry and Engineering
Copyright © 2012-2023 easychair.org. All rights reserved.