Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols.

Vronique Cortier, Stphanie Delaune, Jannik Dreier

Browse the full ESORICS paper archive.