Elise Klein

Orcid: 0009-0002-0099-8627

Affiliations:

Inria Nancy - Grand-Est research centre, Villers-lès-Nancy, France

According to our database¹, Elise Klein authored at least 3 papers between 2022 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Formal Verification in Practice: Real-World Case Study and Enhanced Support for AC Operators in Tamarin. (Vérification formelle appliquée : étude d'un cas concret et amélioration du support des opérateurs AC dans Tamarin).

[BibT_eX]

[DOI]

Elise Klein

PhD thesis, 2025

2023

A comprehensive, formal and automated analysis of the EDHOC protocol.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2022

Elise Klein

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...