{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,2]],"date-time":"2026-09-02T18:10:37Z","timestamp":1788372637965,"version":"build-2803163510"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T00:00:00Z","timestamp":1688947200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,10]]},"DOI":"10.1145\/3579856.3582833","type":"proceedings-article","created":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T14:52:13Z","timestamp":1688568733000},"page":"357-371","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["ZEKRA: Zero-Knowledge Control-Flow Attestation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2385-8187","authenticated-orcid":false,"given":"Heini Bergsson","family":"Debes","sequence":"first","affiliation":[{"name":"DTU Compute, Technical University of Denmark, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4974-9739","authenticated-orcid":false,"given":"Edlira","family":"Dushku","sequence":"additional","affiliation":[{"name":"Department of Electronic Systems, Aalborg University, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0663-2263","authenticated-orcid":false,"given":"Thanassis","family":"Giannetsos","sequence":"additional","affiliation":[{"name":"Digital Security & Trusted Computing Group, Ubiquitous Technologies Limited, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2290-4495","authenticated-orcid":false,"given":"Ali","family":"Marandi","sequence":"additional","affiliation":[{"name":"DTU Compute, Technical University of Denmark, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1609956.1609960"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 2016 ACM SIGSAC Conference. 743\u2013754","author":"Abera Tigist","year":"2016","unstructured":"Tigist Abera 2016 . C-FLAT: control-flow attestation for embedded systems software . In Proceedings of the 2016 ACM SIGSAC Conference. 743\u2013754 . Tigist Abera 2016. C-FLAT: control-flow attestation for embedded systems software. In Proceedings of the 2016 ACM SIGSAC Conference. 743\u2013754."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Tigist Abera 2019. DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems. In NDSS.  Tigist Abera 2019. DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems. In NDSS.","DOI":"10.14722\/ndss.2019.23420"},{"key":"e_1_3_2_1_4_1","volume-title":"5G network slicing using SDN and NFV: A survey of taxonomy, architectures and future challenges. Computer Networks 167","author":"Barakabitze Alcardo\u00a0Alex","year":"2020","unstructured":"Alcardo\u00a0Alex Barakabitze , Arslan Ahmad , Rashid Mijumbi , and Andrew Hines . 2020. 5G network slicing using SDN and NFV: A survey of taxonomy, architectures and future challenges. Computer Networks 167 ( 2020 ). Alcardo\u00a0Alex Barakabitze, Arslan Ahmad, Rashid Mijumbi, and Andrew Hines. 2020. 5G network slicing using SDN and NFV: A survey of taxonomy, architectures and future challenges. Computer Networks 167 (2020)."},{"key":"e_1_3_2_1_5_1","volume-title":"Annual cryptology conference","author":"Eli","unstructured":"Eli Ben-Sasson 2013. SNARKs for C: Verifying program executions succinctly and in zero knowledge . In Annual cryptology conference . Springer , 90\u2013108. Eli Ben-Sasson 2013. SNARKs for C: Verifying program executions succinctly and in zero knowledge. In Annual cryptology conference. Springer, 90\u2013108."},{"key":"e_1_3_2_1_6_1","volume-title":"23rd { USENIX} Security Symposium. 781\u2013796.","author":"Eli","unstructured":"Eli Ben-Sasson 2014. Succinct non-interactive zero knowledge for a von Neumann architecture . In 23rd { USENIX} Security Symposium. 781\u2013796. Eli Ben-Sasson 2014. Succinct non-interactive zero knowledge for a von Neumann architecture. In 23rd { USENIX} Security Symposium. 781\u2013796."},{"key":"e_1_3_2_1_7_1","volume-title":"transparent, and post-quantum secure computational integrity. Cryptology ePrint Archive","author":"Scalable Eli","year":"2018","unstructured":"Eli Ben-Sasson 2018. Scalable , transparent, and post-quantum secure computational integrity. Cryptology ePrint Archive ( 2018 ). Eli Ben-Sasson 2018. Scalable, transparent, and post-quantum secure computational integrity. Cryptology ePrint Archive (2018)."},{"key":"e_1_3_2_1_8_1","volume-title":"Modular. In International Conference on Financial Cryptography and Data Security. Springer, 393\u2013414","author":"Benarroch Daniel","year":"2021","unstructured":"Daniel Benarroch 2021 . Zero-Knowledge Proofs for Set Membership: Efficient, Succinct , Modular. In International Conference on Financial Cryptography and Data Security. Springer, 393\u2013414 . Daniel Benarroch 2021. Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular. In International Conference on Financial Cryptography and Data Security. Springer, 393\u2013414."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 6th ACM AsiaCCS. 30\u201340","author":"Bletsch Tyler","year":"2011","unstructured":"Tyler Bletsch 2011 . Jump-oriented programming: a new class of code-reuse attack . In Proceedings of the 6th ACM AsiaCCS. 30\u201340 . Tyler Bletsch 2011. Jump-oriented programming: a new class of code-reuse attack. In Proceedings of the 6th ACM AsiaCCS. 30\u201340."},{"key":"e_1_3_2_1_10_1","volume-title":"International Conference on Financial Cryptography and Data Security. Springer, 64\u201377","author":"Bowe Sean","year":"2018","unstructured":"Sean Bowe , Ariel Gabizon , and Matthew\u00a0 D Green . 2018 . A multi-party protocol for constructing the public parameters of the Pinocchio zk-SNARK . In International Conference on Financial Cryptography and Data Security. Springer, 64\u201377 . Sean Bowe, Ariel Gabizon, and Matthew\u00a0D Green. 2018. A multi-party protocol for constructing the public parameters of the Pinocchio zk-SNARK. In International Conference on Financial Cryptography and Data Security. Springer, 64\u201377."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522733"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Xavier Carpent 2018. Reconciling Remote Attestation and Safety-Critical Operation on Simple IoT Devices. In DAC \u201918.  Xavier Carpent 2018. Reconciling Remote Attestation and Safety-Critical Operation on Simple IoT Devices. In DAC \u201918.","DOI":"10.1109\/DAC.2018.8465928"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85886-7_3"},{"key":"e_1_3_2_1_14_1","unstructured":"Heini Debes. 2022. Code for ZEKRA. https:\/\/github.com\/HeiniDebes\/ZEKRA  Heini Debes. 2022. Code for ZEKRA. https:\/\/github.com\/HeiniDebes\/ZEKRA"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 54th Design Automation Conference","author":"Dessouky Ghada","year":"2017","unstructured":"Ghada Dessouky 2017 . Lo-fat: Low-overhead control flow attestation in hardware . In Proceedings of the 54th Design Automation Conference 2017. 1\u20136. Ghada Dessouky 2017. Lo-fat: Low-overhead control flow attestation in hardware. In Proceedings of the 54th Design Automation Conference 2017. 1\u20136."},{"key":"e_1_3_2_1_16_1","volume-title":"Litehax: lightweight hardware-assisted attestation of program execution. In 2018 IEEE\/ACM ICCAD","author":"Ghada Dessouky","unstructured":"Ghada Dessouky 2018. Litehax: lightweight hardware-assisted attestation of program execution. In 2018 IEEE\/ACM ICCAD . IEEE , 1\u20138. Ghada Dessouky 2018. Litehax: lightweight hardware-assisted attestation of program execution. In 2018 IEEE\/ACM ICCAD. IEEE, 1\u20138."},{"key":"e_1_3_2_1_17_1","volume-title":"IEEE International Conference on Internet of Things.","author":"Eberhardt Jacob","year":"2018","unstructured":"Jacob Eberhardt and Stefan Tai . 2018 . Zokrates-scalable privacy-preserving off-chain computations . In IEEE International Conference on Internet of Things. Jacob Eberhardt and Stefan Tai. 2018. Zokrates-scalable privacy-preserving off-chain computations. In IEEE International Conference on Internet of Things."},{"key":"e_1_3_2_1_18_1","unstructured":"Embench. 2022. Modern Embedded Benchmark Suite. https:\/\/www.embench.org\/  Embench. 2022. Modern Embedded Benchmark Suite. https:\/\/www.embench.org\/"},{"key":"e_1_3_2_1_19_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE).","author":"\u00a0al Aur\u00e9lien","year":"2014","unstructured":"Aur\u00e9lien et. \u00a0al . Francillon. 2014 . A minimalist approach to Remote Attestation. In Design , Automation & Test in Europe Conference & Exhibition (DATE). Aur\u00e9lien et.\u00a0al. Francillon. 2014. A minimalist approach to Remote Attestation. In Design, Automation & Test in Europe Conference & Exhibition (DATE)."},{"key":"e_1_3_2_1_20_1","volume-title":"Quadratic span programs and succinct NIZKs without PCPs","author":"Rosario Gennaro","unstructured":"Rosario Gennaro 2013. Quadratic span programs and succinct NIZKs without PCPs . In EUROCRYPT. Springer , 626\u2013645. Rosario Gennaro 2013. Quadratic span programs and succinct NIZKs without PCPs. In EUROCRYPT. Springer, 626\u2013645."},{"key":"e_1_3_2_1_21_1","series-title":"SIAM Journal on computing 18, 1","volume-title":"The knowledge complexity of interactive proof systems","author":"Shafi Goldwasser","year":"1989","unstructured":"Shafi Goldwasser 1989. The knowledge complexity of interactive proof systems . SIAM Journal on computing 18, 1 ( 1989 ), 186\u2013208. Shafi Goldwasser 1989. The knowledge complexity of interactive proof systems. SIAM Journal on computing 18, 1 (1989), 186\u2013208."},{"key":"e_1_3_2_1_22_1","volume-title":"30th { USENIX} Security Symposium ({ USENIX} Security 21).","author":"Lorenzo Grassi","unstructured":"Lorenzo Grassi 2021. Poseidon: A new hash function for zero-knowledge proof systems . In 30th { USENIX} Security Symposium ({ USENIX} Security 21). Lorenzo Grassi 2021. Poseidon: A new hash function for zero-knowledge proof systems. In 30th { USENIX} Security Symposium ({ USENIX} Security 21)."},{"key":"e_1_3_2_1_23_1","volume-title":"Asiacrypt","author":"Groth Jens","unstructured":"Jens Groth . 2010. Short pairing-based non-interactive zero-knowledge arguments . In Asiacrypt . Springer , 321\u2013340. Jens Groth. 2010. Short pairing-based non-interactive zero-knowledge arguments. In Asiacrypt. Springer, 321\u2013340."},{"key":"e_1_3_2_1_24_1","volume-title":"On the size of pairing-based non-interactive arguments","author":"Groth Jens","unstructured":"Jens Groth . 2016. On the size of pairing-based non-interactive arguments . In EUROCRYPT. Springer , 305\u2013326. Jens Groth. 2016. On the size of pairing-based non-interactive arguments. In EUROCRYPT. Springer, 305\u2013326."},{"key":"e_1_3_2_1_26_1","volume-title":"Directed Graph Hashing. preprint arXiv:2002.06653","author":"Helbling Caleb","year":"2020","unstructured":"Caleb Helbling . 2020. Directed Graph Hashing. preprint arXiv:2002.06653 ( 2020 ). Caleb Helbling. 2020. Directed Graph Hashing. preprint arXiv:2002.06653 (2020)."},{"key":"e_1_3_2_1_27_1","volume-title":"Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks. In IEEE Symposium on Security and Privacy (SP).","author":"Hu Hong","year":"2016","unstructured":"Hong Hu 2016 . Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks. In IEEE Symposium on Security and Privacy (SP). Hong Hu 2016. Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks. In IEEE Symposium on Security and Privacy (SP)."},{"key":"e_1_3_2_1_28_1","volume-title":"18th TrustCom\/BigDataSE","author":"Jianxing Hu","unstructured":"Jianxing Hu 2019. A probability prediction based mutable control-flow attestation scheme on embedded platforms . In 18th TrustCom\/BigDataSE . IEEE. Jianxing Hu 2019. A probability prediction based mutable control-flow attestation scheme on embedded platforms. In 18th TrustCom\/BigDataSE. IEEE."},{"key":"e_1_3_2_1_29_1","unstructured":"iden3. 2022. zkSNARK implementation. https:\/\/github.com\/iden3\/snarkjs  iden3. 2022. zkSNARK implementation. https:\/\/github.com\/iden3\/snarkjs"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/129712.129782"},{"key":"e_1_3_2_1_31_1","volume-title":"Efficient zero-knowledge range proofs in ethereum. ING. blockchain@ ing. com","author":"Koens Tommy","year":"2018","unstructured":"Tommy Koens , Coen Ramaekers , and Cees Van\u00a0Wijk . 2018. Efficient zero-knowledge range proofs in ethereum. ING. blockchain@ ing. com ( 2018 ). Tommy Koens, Coen Ramaekers, and Cees Van\u00a0Wijk. 2018. Efficient zero-knowledge range proofs in ethereum. ING. blockchain@ ing. com (2018)."},{"key":"e_1_3_2_1_32_1","unstructured":"Ahmed Kosba. 2021. Java zkSNARK library. https:\/\/github.com\/akosba\/jsnark  Ahmed Kosba. 2021. Java zkSNARK library. https:\/\/github.com\/akosba\/jsnark"},{"key":"e_1_3_2_1_33_1","volume-title":"2018 IEEE Symposium on Security and Privacy (SP). IEEE, 944\u2013961","author":"Kosba Ahmed","year":"2018","unstructured":"Ahmed Kosba 2018 . xJsnark: A framework for efficient verifiable computation . In 2018 IEEE Symposium on Security and Privacy (SP). IEEE, 944\u2013961 . Ahmed Kosba 2018. xJsnark: A framework for efficient verifiable computation. In 2018 IEEE Symposium on Security and Privacy (SP). IEEE, 944\u2013961."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","first-page":"101945","DOI":"10.1016\/j.cose.2020.101945","article-title":"DO-RA: data-oriented runtime attestation for IoT devices","volume":"97","author":"Kuang Boyu","year":"2020","unstructured":"Boyu Kuang 2020 . DO-RA: data-oriented runtime attestation for IoT devices . Computers & Security 97 (2020), 101945 . Boyu Kuang 2020. DO-RA: data-oriented runtime attestation for IoT devices. Computers & Security 97 (2020), 101945.","journal-title":"Computers & Security"},{"key":"e_1_3_2_1_35_1","unstructured":"SCIPR Lab. 2020. C++ zkSNARK library. https:\/\/github.com\/scipr-lab\/libsnark  SCIPR Lab. 2020. C++ zkSNARK library. https:\/\/github.com\/scipr-lab\/libsnark"},{"key":"e_1_3_2_1_36_1","article-title":"Realizing memory-optimized distributed graph processing","volume":"30","author":"Liakos Panagiotis","year":"2017","unstructured":"Panagiotis Liakos 2017 . Realizing memory-optimized distributed graph processing . IEEE Transactions on Knowledge and Data Engineering 30 , 4 (2017). Panagiotis Liakos 2017. Realizing memory-optimized distributed graph processing. IEEE Transactions on Knowledge and Data Engineering 30, 4 (2017).","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"e_1_3_2_1_37_1","volume-title":"Log-Based Control Flow Attestation for Embedded Devices. In International Symposium on Cyberspace Safety and Security. Springer, 117\u2013132","author":"Liu Jingbin","year":"2019","unstructured":"Jingbin Liu 2019 . Log-Based Control Flow Attestation for Embedded Devices. In International Symposium on Cyberspace Safety and Security. Springer, 117\u2013132 . Jingbin Liu 2019. Log-Based Control Flow Attestation for Embedded Devices. In International Symposium on Cyberspace Safety and Security. Springer, 117\u2013132."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365746"},{"key":"e_1_3_2_1_39_1","volume-title":"Photoproof: Cryptographic image authentication for any set of permissible transformations. In 2016 IEEE S&P","author":"Naveh Assa","year":"2016","unstructured":"Assa Naveh and Eran Tromer . 2016 . Photoproof: Cryptographic image authentication for any set of permissible transformations. In 2016 IEEE S&P . IEEE , 255\u2013271. Assa Naveh and Eran Tromer. 2016. Photoproof: Cryptographic image authentication for any set of permissible transformations. In 2016 IEEE S&P. IEEE, 255\u2013271."},{"key":"e_1_3_2_1_40_1","volume-title":"29th { USENIX} Security Symposium ({ USENIX} Security 20). 771\u2013788.","author":"De\u00a0Oliveira Ivan","unstructured":"Ivan De\u00a0Oliveira Nunes 2020. { APEX} : A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise . In 29th { USENIX} Security Symposium ({ USENIX} Security 20). 771\u2013788. Ivan De\u00a0Oliveira Nunes 2020. { APEX} : A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. In 29th { USENIX} Security Symposium ({ USENIX} Security 20). 771\u2013788."},{"key":"e_1_3_2_1_41_1","volume-title":"Tiny-CFA: A minimalistic approach for CFA using verified proofs of execution. arXiv:2011.07400","author":"De\u00a0Oliveira Ivan","year":"2020","unstructured":"Ivan De\u00a0Oliveira Nunes 2020. Tiny-CFA: A minimalistic approach for CFA using verified proofs of execution. arXiv:2011.07400 ( 2020 ). Ivan De\u00a0Oliveira Nunes 2020. Tiny-CFA: A minimalistic approach for CFA using verified proofs of execution. arXiv:2011.07400 (2020)."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.47"},{"key":"e_1_3_2_1_43_1","volume-title":"2014 IEEE Symposium on Security and Privacy. IEEE, 459\u2013474","author":"Sasson Eli\u00a0Ben","year":"2014","unstructured":"Eli\u00a0Ben Sasson 2014 . Zerocash: Decentralized anonymous payments from bitcoin . In 2014 IEEE Symposium on Security and Privacy. IEEE, 459\u2013474 . Eli\u00a0Ben Sasson 2014. Zerocash: Decentralized anonymous payments from bitcoin. In 2014 IEEE Symposium on Security and Privacy. IEEE, 459\u2013474."},{"key":"e_1_3_2_1_44_1","volume-title":"Trinocchio: privacy-preserving outsourcing by distributed verifiable computation","author":"Berry Schoenmakers","unstructured":"Berry Schoenmakers 2016. Trinocchio: privacy-preserving outsourcing by distributed verifiable computation . In ACNS. Springer , 346\u2013366. Berry Schoenmakers 2016. Trinocchio: privacy-preserving outsourcing by distributed verifiable computation. In ACNS. Springer, 346\u2013366."},{"key":"e_1_3_2_1_45_1","volume-title":"Annual International Cryptology Conference. Springer, 704\u2013737","author":"Setty Srinath","year":"2020","unstructured":"Srinath Setty . 2020 . Spartan: Efficient and general-purpose zkSNARKs without trusted setup . In Annual International Cryptology Conference. Springer, 704\u2013737 . Srinath Setty. 2020. Spartan: Efficient and general-purpose zkSNARKs without trusted setup. In Annual International Cryptology Conference. Springer, 704\u2013737."},{"key":"e_1_3_2_1_46_1","volume-title":"21st { USENIX} Security Symposium. 253\u2013268.","author":"Srinath Setty","unstructured":"Srinath Setty 2012. Taking proof-based verified computation a few steps closer to practicality . In 21st { USENIX} Security Symposium. 253\u2013268. Srinath Setty 2012. Taking proof-based verified computation a few steps closer to practicality. In 21st { USENIX} Security Symposium. 253\u2013268."},{"key":"e_1_3_2_1_47_1","volume-title":"14th ACM CCS.","author":"Shacham Hovav","unstructured":"Hovav Shacham . 2007. The geometry of innocent flesh on the bone: Return-into-libc without function calls (on the x86) . In 14th ACM CCS. Hovav Shacham. 2007. The geometry of innocent flesh on the bone: Return-into-libc without function calls (on the x86). In 14th ACM CCS."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Yan Shoshitaishvili 2016. SoK: (State of) The Art of War: Offensive Techniques in Binary Analysis. (2016).  Yan Shoshitaishvili 2016. SoK: (State of) The Art of War: Offensive Techniques in Binary Analysis. (2016).","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00042"},{"key":"e_1_3_2_1_50_1","volume-title":"ScaRR: Scalable Runtime Remote Attestation for Complex Systems. In 22nd International Symposium on { RAID}. 121\u2013134","author":"Toffalini Flavio","year":"2019","unstructured":"Flavio Toffalini 2019 . ScaRR: Scalable Runtime Remote Attestation for Complex Systems. In 22nd International Symposium on { RAID}. 121\u2013134 . Flavio Toffalini 2019. ScaRR: Scalable Runtime Remote Attestation for Complex Systems. In 22nd International Symposium on { RAID}. 121\u2013134."},{"key":"e_1_3_2_1_51_1","volume-title":"Efficient RAM and control flow in verifiable outsourced computation. Cryptology ePrint Archive","author":"S Wahby","year":"2014","unstructured":"Riad\u00a0 S Wahby 2014. Efficient RAM and control flow in verifiable outsourced computation. Cryptology ePrint Archive ( 2014 ). Riad\u00a0S Wahby 2014. Efficient RAM and control flow in verifiable outsourced computation. Cryptology ePrint Archive (2014)."},{"key":"e_1_3_2_1_52_1","volume-title":"27th { USENIX} Security Symposium ({ USENIX} Security 18). 675\u2013692.","author":"Howard Wu","unstructured":"Howard Wu 2018. { DIZK} : A distributed zero knowledge proof system . In 27th { USENIX} Security Symposium ({ USENIX} Security 18). 675\u2013692. Howard Wu 2018. { DIZK} : A distributed zero knowledge proof system. In 27th { USENIX} Security Symposium ({ USENIX} Security 18). 675\u2013692."},{"key":"e_1_3_2_1_53_1","volume-title":"Atrium: Runtime attestation resilient under memory attacks. In 2017 IEEE\/ACM ICCAD","author":"Shaza Zeitouni","unstructured":"Shaza Zeitouni 2017. Atrium: Runtime attestation resilient under memory attacks. In 2017 IEEE\/ACM ICCAD . IEEE , 384\u2013391. Shaza Zeitouni 2017. Atrium: Runtime attestation resilient under memory attacks. In 2017 IEEE\/ACM ICCAD. IEEE, 384\u2013391."},{"key":"e_1_3_2_1_54_1","volume-title":"ReCFA: Resilient Control-Flow Attestation. In Annual Computer Security Applications Conference(ACSAC \u201921)","author":"Zhang Yumei","year":"2021","unstructured":"Yumei Zhang 2021 . ReCFA: Resilient Control-Flow Attestation. In Annual Computer Security Applications Conference(ACSAC \u201921) . Yumei Zhang 2021. ReCFA: Resilient Control-Flow Attestation. In Annual Computer Security Applications Conference(ACSAC \u201921)."}],"event":{"name":"ASIA CCS '23: ACM ASIA Conference on Computer and Communications Security","location":"Melbourne VIC Australia","acronym":"ASIA CCS '23","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the ACM Asia Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579856.3582833","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:28Z","timestamp":1750182688000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579856.3582833"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,10]]},"references-count":53,"alternative-id":["10.1145\/3579856.3582833","10.1145\/3579856"],"URL":"https:\/\/doi.org\/10.1145\/3579856.3582833","relation":{},"subject":[],"published":{"date-parts":[[2023,7,10]]},"assertion":[{"value":"2023-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}