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:
IACR Cryptol. ePrint Arch. (2014)
Keyphrases
</>
automated analysis
biomedical imaging
simplifying assumptions
image processing
probabilistic model
knowledge discovery
visual analysis
independence assumption
automated detection