We stand with Ukraine  

Elise Klein

Orcid: 0009-0002-0099-8627

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


According to our database1, Elise Klein authored at least 2 papers between 2022 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A comprehensive, formal and automated analysis of the EDHOC protocol.
[BibTeX]
[DOI]
Charlie Jacomme
,
Elise Klein
,
Steve Kremer
,
Maïwenn Racouchot
Proceedings of the 32nd USENIX Security Symposium, 2023

2022
Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols.
[BibTeX]
[DOI]
Véronique Cortier
,
Stéphanie Delaune
,
Jannik Dreier
,
Elise Klein
J. Comput. Secur., 2022


  Loading...