@INPROCEEDINGS{7163030,
author = {C. Costello and C. Fournet and J. Howell and M. Kohlweiss and B. Kreuter and M. Naehrig and B. Parno and S. Zahur},
booktitle = {2015 IEEE Symposium on Security and Privacy (SP)},
title = {Geppetto: Versatile Verifiable Computation},
year = {2015},
volume = {00},
number = {},
pages = {253-270},
keywords={Cryptography;Schedules;Libraries;Protocols;Random access memory;Logic gates;Generators},
doi = {10.1109/SP.2015.23},
url = {doi.ieeecomputersociety.org/10.1109/SP.2015.23},
ISSN = {1081-6011},
month={May}
}