Conférence
Keuffer, Julien; Molva, Refik; Chabanne, Hervé
Efficient proof composition for verifiable computation
ESORICS 2018, European Symposium on Research in Computer Security, 3-7 September 2018, Barcelona, Spain / Also published in LNCS, Vol.11098/2018