Publications

Publications HAL

Search Results –> Url version détaillée , Url version formatée
Criteria : idHal : « elise-emma-klein »
Number of occurrences founded : 2.

titre
A comprehensive, formal and automated analysis of the EDHOC protocol
auteur
Charlie Jacomme, Elise Klein, Steve Kremer, Maïwenn Racouchot
article
USENIX Security ’23 – 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States
titre
Automatic generation of sources lemmas in TAMARIN: towards automatic proofs of security protocols
auteur
Véronique Cortier, Stéphanie Delaune, Jannik Dreier, Elise Klein
article
Journal of Computer Security, 2022, 30 (4), pp.573-598. ⟨10.3233/JCS-210053⟩