PUBLICATION: Efficient proof composition for verifiable computation
© Springer. Personal use of this material is permitted. The definitive version of this paper was published in ESORICS 2018, European Symposium on Research in Computer Security, 3-7 September 2018, Barcelona, Spain / Also Part of LNCS, Vol.11098 and is available at : http://doi.org/10.1007/978-3-319-99073-6_8