{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T03:54:22Z","timestamp":1781063662962,"version":"3.54.1"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["SNSF204632"],"award-info":[{"award-number":["SNSF204632"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,4]]},"DOI":"10.1109\/tse.2025.3541810","type":"journal-article","created":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T18:39:43Z","timestamp":1739471983000},"page":"1134-1152","source":"Crossref","is-referenced-by-count":1,"title":["Trustworthy Distributed Certification of Program Execution"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0964-2224","authenticated-orcid":false,"given":"Alex","family":"Wolf","sequence":"first","affiliation":[{"name":"University of Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3300-4828","authenticated-orcid":false,"given":"Marco Edoardo","family":"Palma","sequence":"additional","affiliation":[{"name":"University of Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8687-052X","authenticated-orcid":false,"given":"Pasquale","family":"Salza","sequence":"additional","affiliation":[{"name":"University of Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3874-5628","authenticated-orcid":false,"given":"Harald C.","family":"Gall","sequence":"additional","affiliation":[{"name":"University of Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-019-00337-w"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2641562"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.47"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1142\/9789811278631_0015"},{"key":"ref5","first-page":"46","article-title":"Scalable, transparent, and post-quantum secure computational integrity","volume":"2018","author":"Ben-Sasson","year":"2018","journal-title":"Cryptol. ePrint Arch."},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1001\/jama.2019.20866"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"3645","DOI":"10.18653\/v1\/P19-1355","article-title":"Energy and policy considerations for deep learning in NLP","volume-title":"Proc. 57th Annu. Meeting Assoc. Comput. Linguist.","author":"Strubell","year":"2019"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X17001972"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038650"},{"key":"ref10","volume-title":"Software Testing: Principles and Practices","author":"Srinivasan","year":"2007"},{"key":"ref11","first-page":"17","article-title":"Intel SGX Explained","volume-title":"Int. Conf. Financial Cryptography Data Secur. (FC)","author":"Costan","year":"2016"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3291047"},{"key":"ref13","article-title":"AMD Memory Encryption","author":"Kaplan","year":"2016"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.357"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3456631"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SPW53761.2021.00063"},{"issue":"2","key":"ref17","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MSEC.2019.2947124","article-title":"Trusted execution environments: Properties, applications, and challenges","volume":"18","author":"Jauernig","year":"2020","journal-title":"IEEE Secur. Privacy"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SE4Science.2019.00010"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522733"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2720760"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2905689"},{"key":"ref22","article-title":"Replication Package","author":"Wolf","year":"2023"},{"key":"ref23","article-title":"Mona","author":"Palma","year":"2023"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-013-9230-4"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.71.036101"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.1007\/s10955-020-02625-w","article-title":"Voter and majority dynamics with biased and stubborn agents","volume":"181","author":"Mukhopadhyay","year":"2020","journal-title":"J. Statist. Phys."},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.2307\/139591"},{"key":"ref28","first-page":"781","article-title":"Succinct Non-Interactive Zero Knowledge for a Von Neumann Architecture","volume-title":"Proc. USENIX Secur. Symp. (USENIX Secur.)","author":"Ben-Sasson","year":"2014"},{"key":"ref29","article-title":"Aggregating and thresholdizing hash-based signatures using STARKs","volume-title":"ACM Asia Conf. Comput. Commun. Secur. (ASIACCS)","author":"Khaburzaniya","year":"2021"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00052"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26954-8_24"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00060"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-050753-8.50042-5"},{"key":"ref34","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume-title":"Ethereum project yellow paper","author":"Wood","year":"2017"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00068"},{"key":"ref36","first-page":"339","article-title":"Proving the correct execution of concurrent services in zero-knowledge","volume-title":"Proc. USENIX Symp. Oper. Syst. Des. Implementation (USENIX OSDI)","author":"Setty"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-022-09424-4"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3389\/fbloc.2021.725322"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00205"},{"issue":"2","key":"ref40","doi-asserted-by":"crossref","DOI":"10.3390\/s20020483","article-title":"Distributed ledger technology for ehealth identity privacy: State of the art and future perspective","volume":"20","author":"Bouras","year":"2020","journal-title":"Sensors"},{"key":"ref41","doi-asserted-by":"crossref","DOI":"10.1016\/j.jnca.2020.102731","article-title":"Blockchain-based identity management systems: A review","volume":"166","author":"Liu","year":"2020","journal-title":"J. Netw. Comput. Appl."},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1155\/2021\/8873429"},{"key":"ref43","article-title":"Hyperledger indy: Identity for all.","year":"2024"},{"key":"ref44","article-title":"UPORT: A platform for self-sovereign identity","author":"Lundkvist","year":"2016"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10969500\/10884710.pdf?arnumber=10884710","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T17:38:05Z","timestamp":1744997885000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10884710\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4]]},"references-count":44,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3541810","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4]]}}}