Login / Signup
How To Simulate It - A Tutorial on the Simulation Proof Technique.
Yehuda Lindell
Published in:
IACR Cryptol. ePrint Arch. (2016)
Keyphrases
</>
simulation environment
collision detection
simulation model
theorem proving
genetic algorithm
three dimensional
digital libraries
multiresolution
numerical simulations
mathematical models
high fidelity