TY  - RPRT
TI  - CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
AU  - Simon Jeanteur
AU  - Laura Kovács
AU  - Matteo Maffei
AU  - Michael Rawson
PY  - 2024
UR  - https://arxiv.org/abs/2305.12173
ID  - 2305.12173
ER  -