C. Costello et al., "Geppetto: Versatile Verifiable Computation," 2015 IEEE Symposium on Security and Privacy (SP), San Jose, CA, USA, 2015, pp. 253-270.
doi:10.1109/SP.2015.23
keywords:{Cryptography;Schedules;Libraries;Protocols;Random access memory;Logic gates;Generators},
url:doi.ieeecomputersociety.org/10.1109/SP.2015.23