CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model.

Simon Jeanteur, Laura Kovcs, Matteo Maffei, Michael Rawson

Browse the full SP paper archive.