Verifiable Computation using Smart Contracts.

Sepideh Avizheh, Mahmudun Nabi, Reihaneh Safavi-Naini, Muni Venkateswarlu K.

Browse the full CCS paper archive.