Lift-and-Shift: Obtaining Simulation Extractable Subversion and Updatable SNARKs Generically.

Behzad Abdolmaleki Sebastian Ramacher Daniel Slamanig

Published in: CCS (2020)

Keyphrases

computer vision
simulation model
data sets
real world
trade off
open source
mathematical model
high fidelity
simulation models
discrete event simulation