Login / Signup
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code.
Karthikeyan Bhargavan
Abhishek Bichhawat
Quoc Huy Do
Pedram Hosseyni
Ralf Küsters
Guido Schmitz
Tim Würtele
Published in:
EuroS&P (2021)
Keyphrases
</>
cryptographic protocols
high level
probabilistic model
lightweight