Elise Klein
4
Documents
Publications
Publications
|
|
Tamarin Unchained: Handling User-Defined AC Operators2026 |
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 : ⟩ |
|
|
A comprehensive, formal and automated analysis of the EDHOC protocolUSENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States |
|
|
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⟩ |
Chargement...
Chargement...