Login / Signup
Simon Jeanteur
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
High Level
General Purpose
Automated Reasoning
Artificial Neural Networks
Top Venues
CoRR
IACR Cryptol. ePrint Arch.
</>
Publications
</>
Simon Jeanteur
,
Laura Kovács
,
Matteo Maffei
,
Michael Rawson
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model.
IACR Cryptol. ePrint Arch.
2024 (2024)
Simon Jeanteur
,
Laura Kovács
,
Matteo Maffei
,
Michael Rawson
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model.
CoRR
(2023)