Elise Klein
4
Documents
Publications
Publications
|
|
Tamarin Unchained: Handling User-Defined AC Operators2026
Pré-publication, Document de travail
hal-05196126
v3
|
Formal Verification in Practice: Real-World Case Study and Enhanced Support for AC Operators in TamarinCryptography and Security [cs.CR]. Université de lorraine, 2025. English. ⟨NNT : ⟩
Thèse
tel-05460492
v1
|
|
|
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-03810102
v1
|
|
|
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-03767104
v1
|
Chargement...
Chargement...