Login / Signup
State-Separating Proofs: A Reduction Methodology for Real-World Protocols.
Chris Brzuska
Antoine Delignat-Lavaud
Konrad Kohbrok
Markulf Kohlweiss
Published in:
IACR Cryptol. ePrint Arch. (2018)
Keyphrases
</>
real world
data sets
wide range
real life
databases
reinforcement learning
data mining
website
clustering algorithm
case study
image sequences
theorem prover