Efficient Proof Composition for Verifiable Computation.

Julien Keuffer, Refik Molva, Herv Chabanne

Browse the full ESORICS paper archive.