Login / Signup
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model.
Simon Jeanteur
Laura Kovács
Matteo Maffei
Michael Rawson
Published in:
IACR Cryptol. ePrint Arch. (2024)
Keyphrases
</>
automated reasoning
high level
probabilistic model
knowledge representation
artificial intelligence
knowledge base
data model
higher order