Login / Signup
Probabilistic relational verification for cryptographic implementations.
Gilles Barthe
Cédric Fournet
Benjamin Grégoire
Pierre-Yves Strub
Nikhil Swamy
Santiago Zanella Béguelin
Published in:
POPL (2014)
Keyphrases
</>
probabilistic relational
random number generators
cryptographic protocols
model checking
smart card
efficient implementation
high assurance
face verification
bayesian logic programs
verification method
machine learning
formal methods
random number