Home » Authors » Véronique Cortier, Stéphanie Delaune, Jannik Dreier, Elise Klein

Véronique Cortier, Stéphanie Delaune, Jannik Dreier, Elise Klein

Public reference bibliography and cataloged PDF materials authored or published by Véronique Cortier, Stéphanie Delaune, Jannik Dreier, Elise Klein.

Found 1 document(s) Page 1 of 1

Automatic generation of sources lemmas in TAMARIN: towards automatic proofs of security protocols

Year: 2022 • Source: hal.science • Listed PDF

TAMARIN is a popular tool dedicated to the formal analysis of security protocols. One major strength of the tool is that it offers an interactive mode, allowing to go beyond what pushbutton tools can typically handle. TA...