@conference{EURECOM+5624,
  author = {Keuffer, Julien and  Molva, Refik and  Chabanne, Hervé},
  title = {Efficient proof composition for verifiable computation},
  booktitle = {ESORICS 2018, European Symposium on Research in Computer Security, 3-7 September 2018, Barcelona, Spain / Also published in LNCS, Vol.11098/2018<br />},
  year = {2018},
  editor = {Springer},
  address = {Barcelona},
  note = {©  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 published in LNCS, Vol.11098/2018<br />
 and is available at : http://doi.org/10.1007/978-3-319-99073-6\_8},
}