CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. - Simon Jeanteur; Laura Kovács; Matteo Maffei; Michael Rawson 001 (IACR Cryptol. ePrint Arch., 2024)