{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T11:20:37Z","timestamp":1765279237327,"version":"3.37.3"},"reference-count":70,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Industrial Research Chair Program in partnership with Telus Communications"},{"name":"Alberta Innovates Strategic Chair in Information Security Grant, Province of Alberta, Canada"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2024,11]]},"DOI":"10.1109\/tdsc.2024.3372848","type":"journal-article","created":{"date-parts":[[2024,3,4]],"date-time":"2024-03-04T19:25:18Z","timestamp":1709580318000},"page":"5208-5227","source":"Crossref","is-referenced-by-count":3,"title":["Refereed Delegation of Computation Using Smart Contracts"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5994-133X","authenticated-orcid":false,"given":"Sepideh","family":"Avizheh","sequence":"first","affiliation":[{"name":"University of Calgary, Alberta, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5111-3599","authenticated-orcid":false,"given":"Mahmudun","family":"Nabi","sequence":"additional","affiliation":[{"name":"University of Calgary, Alberta, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1697-3590","authenticated-orcid":false,"given":"Reihaneh","family":"Safavi-Naini","sequence":"additional","affiliation":[{"name":"University of Calgary, Alberta, Canada"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1403027.1403046"},{"article-title":"Incentive engineering for outsourced computation in the face of collusion","volume-title":"Proc. WEIS","author":"Khouzani","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2015.2499738"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12601-2_5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14623-7_25"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14623-7_26"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14165-2_14"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046759"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243837"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-13257-0_10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2017.8057199"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2909827.2930794"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3268995"},{"year":"2018","key":"ref14","article-title":"Seti, home"},{"year":"2021","key":"ref15","article-title":"Rosetta, home"},{"key":"ref16","first-page":"506","article-title":"Making games short","volume-title":"Proc. 29th Annu. ACM Symp. Theory Comput.","author":"Feige"},{"article-title":"Ethereum: A next-generation smart contract and decentralized application platform","year":"2014","author":"Buterin","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3338466.3358925"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-32415-4_29"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.2001.959888"},{"volume-title":"Ganache","year":"2019","key":"ref21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1374376.1374396"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090245"},{"issue":"9","key":"ref24","article-title":"Making argument systems for outsourced computation practical (sometimes)","volume":"1","author":"Setty","year":"2012","journal-title":"NDSS"},{"key":"ref25","first-page":"253","article-title":"Taking proof-based verified computation a few steps closer to practicality","volume-title":"Proc. 21st {USENIX} Secur. Symp.","author":"Setty"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465359"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.48"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_37"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2641562"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2016.2536601"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2022.3211707"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2022.3145851"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2020.2972923"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-00123-9_34"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2573770"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-013-0252-0"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2011.5935305"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2949782"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2585121"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2018.2816656"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2018.12.022"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.4329"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59870-3_15"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2013.03.003"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134032"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-35389-6_19"},{"key":"ref47","first-page":"1353","article-title":"Arbitrum: Scalable, private smart contracts","volume-title":"Proc. 27th USENIX Secur. Symp.","author":"Kalodner"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243857"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-78381-9_11"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24638-1_4"},{"year":"2022","key":"ref51","article-title":"Ethereum proof-of-stake consensus specifications"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_25"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36594-2_27"},{"issue":"2014","key":"ref54","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"Wood","year":"2014","journal-title":"Ethereum Project Yellow Paper"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.47"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/22145.22192"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1137\/0218012"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/146585.146605"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/273865.273901"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/129712.129782"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44750-4_25"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(88)90005-0"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90459-3_18"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-07085-3_18"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/CCC.2007.10"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365746"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/278298.278306"},{"article-title":"Verifiable computing for approximate computation","year":"2019","author":"Chen","key":"ref68"},{"article-title":"Source code of fides","volume-title":"Code","year":"2021","key":"ref69"},{"article-title":"Evm-tools","year":"2019","author":"Culture","key":"ref70"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/10750463\/10458259.pdf?arnumber=10458259","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T23:23:41Z","timestamp":1732663421000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10458259\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11]]},"references-count":70,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2024.3372848","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"type":"print","value":"1545-5971"},{"type":"electronic","value":"1941-0018"},{"type":"electronic","value":"2160-9209"}],"subject":[],"published":{"date-parts":[[2024,11]]}}}