Login / Signup
Automated Analysis of Cryptographic Assumptions in Generic Group Models.
Gilles Barthe
Edvard Fagerholm
Dario Fiore
John C. Mitchell
Andre Scedrov
Benedikt Schmidt
Published in:
CRYPTO (1) (2014)
Keyphrases
</>
automated analysis
automated detection
machine learning
image analysis
generic model
databases
probabilistic model
independence assumption