Elise Klein

Publications

Pré-publication, Document de travail (1)

Tamarin Unchained: Handling User-Defined AC Operators Jannik Dreier,Elise Klein,Steve Kremer 2026 Pré-publication, Document de travail hal-05196126v4

Thèse (1)

Formal Verification in Practice : Real-World Case Study and Enhanced Support for AC Operators in Tamarin Elise Klein Computer Science [cs]. Université de Lorraine, 2025. English. ⟨NNT : 2025LORR0289⟩ Thèse tel-05574441v1

Communication dans un congrès (1)

A comprehensive, formal and automated analysis of the EDHOC protocol Charlie Jacomme,Elise Klein,Steve Kremer,Maïwenn Racouchot USENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States Communication dans un congrès hal-03810102v1

Article dans une revue (1)

Automatic generation of sources lemmas in TAMARIN: towards automatic proofs of security protocols Véronique Cortier,Stéphanie Delaune,Jannik Dreier,Elise Klein Journal of Computer Security, 2022, 30 (4), pp.573-598. ⟨10.3233/JCS-210053⟩ Article dans une revue hal-03767104v1