Efficient Proof Composition for Verifiable Computation

Julien Keuffer, Refik Molva, Hervé Chabanne. Efficient Proof Composition for Verifiable Computation. In Javier López 0001, Jianying Zhou 0001, Miguel Soriano, editors, Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I. Volume 11098 of Lecture Notes in Computer Science, pages 152-171, Springer, 2018. [doi]

Authors

Julien Keuffer

This author has not been identified. Look up 'Julien Keuffer' in Google

Refik Molva

This author has not been identified. Look up 'Refik Molva' in Google

Hervé Chabanne

This author has not been identified. Look up 'Hervé Chabanne' in Google