Elise Klein
2
Documents
Publications
|
Automatic generation of sources lemmas in TAMARIN: towards automatic proofs of security protocolsJournal of Computer Security, 2022, 30 (4), pp.573-598. ⟨10.3233/JCS-210053⟩
Article dans une revue
hal-03767104v1
|
|
A comprehensive, formal and automated analysis of the EDHOC protocolUSENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States
Communication dans un congrès
hal-03810102v1
|