Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols. - Véronique Cortier; Stéphanie Delaune; Jannik Dreier; Elise Klein 002 (J. Comput. Secur., 2022)

A comprehensive, formal and automated analysis of the EDHOC protocol. - Charlie Jacomme; Elise Klein 002; Steve Kremer; Maïwenn Racouchot (USENIX Security Symposium, 2023)