TY - CONF
TI - Geppetto: Versatile Verifiable Computation
T2 - 2015 IEEE Symposium on Security and Privacy (SP)
SP - 253
EP - 270
AU - C. Costello
AU - C. Fournet
AU - J. Howell
AU - M. Kohlweiss
AU - B. Kreuter
AU - M. Naehrig
AU - B. Parno
AU - S. Zahur
PY - 2015
KW - Cryptography
KW - Schedules
KW - Libraries
KW - Protocols
KW - Random access memory
KW - Logic gates
KW - Generators
DO - 10.1109/SP.2015.23
JO - 2015 IEEE Symposium on Security and Privacy (SP)
SN - 978-1-4673-6949-7
VO - 10.1109/SP.2015.23
VL - 00
JA - 2015 IEEE Symposium on Security and Privacy (SP)
Y1 - May 2015
ER -