{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T09:18:28Z","timestamp":1758705508700,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,11]],"date-time":"2021-06-11T00:00:00Z","timestamp":1623369600000},"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":[[2021,6,11]]},"DOI":"10.1145\/3450569.3463574","type":"proceedings-article","created":{"date-parts":[[2021,6,12]],"date-time":"2021-06-12T04:06:33Z","timestamp":1623470793000},"page":"125-130","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control"],"prefix":"10.1145","author":[{"given":"Jonas","family":"Schiffl","sequence":"first","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Grundmann","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Leinweber","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Stengele","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Friebe","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Beckert","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,6,11]]},"reference":[{"volume-title":"A Survey on Formal Verification for Solidity Smart Contracts (ACSW '21)","author":"Garfatta Ikram","key":"e_1_3_2_1_1_1","unstructured":"Ikram Garfatta, Kais Klai, Walid Gaaloul, and Mohamed Graiet. 2021. A Survey on Formal Verification for Solidity Smart Contracts (ACSW '21). Association for Computing Machinery, New York, NY, USA, Article 3."},{"volume-title":"solc-verify: A Modular Verifier for Solidity Smart Contracts","author":"Hajdu Akos","key":"e_1_3_2_1_2_1","unstructured":"Akos Hajdu and Dejan Jovanovic. 2020. solc-verify: A Modular Verifier for Solidity Smart Contracts. In Verified Software. Theories, Tools, and Experiments, Supratik Chakraborty and Jorge A. Navas (Eds.). LNCS, Vol. 12301. Springer."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360333"},{"key":"e_1_3_2_1_4_1","volume-title":"KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. In 2018 IEEE CSF","author":"Hildenbrandt Everett","year":"2018","unstructured":"Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, et al. 2018. KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. In 2018 IEEE CSF. IEEE."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"volume-title":"Security Vulnerabilities in Ethereum Smart Contracts (iiWAS2018 )","author":"Mense Alexander","key":"e_1_3_2_1_6_1","unstructured":"Alexander Mense and Markus Flatscher. 2018. Security Vulnerabilities in Ethereum Smart Contracts (iiWAS2018 ). Association for Computing Machinery, New York, NY, USA."},{"key":"e_1_3_2_1_7_1","volume-title":"Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited. arXiv:1902.06710 [cs] (Oct","author":"Perez Daniel","year":"2020","unstructured":"Daniel Perez and Benjamin Livshits. 2020. Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited. arXiv:1902.06710 [cs] (Oct. 2020)."},{"key":"e_1_3_2_1_8_1","volume-title":"VerX: Safety Verification of Smart Contracts. In 2020 IEEE Symposium on Security and Privacy (SP)","author":"Permenev Anton","year":"2020","unstructured":"Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, and Martin Vechev. 2020. VerX: Safety Verification of Smart Contracts. In 2020 IEEE Symposium on Security and Privacy (SP) (2020). IEEE."},{"key":"e_1_3_2_1_10_1","volume-title":"Smart Contract: Attacks and Protections","author":"Sayeed Sarwar","year":"2020","unstructured":"Sarwar Sayeed, Hector Marco-Gisbert, and Tom Caira. 2020. Smart Contract: Attacks and Protections. IEEE Access, Vol. 8 (2020)."},{"volume-title":"Access Control for Binary Integrity Protection using Ethereum (SACMAT '19)","author":"Stengele Oliver","key":"e_1_3_2_1_11_1","unstructured":"Oliver Stengele, Andreas Baumeister, Pascal Birnstill, and Hannes Hartenstein. 2019. Access Control for Binary Integrity Protection using Ethereum (SACMAT '19). Association for Computing Machinery."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3429358.3429374"}],"event":{"name":"SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Virtual Event Spain","acronym":"SACMAT '21"},"container-title":["Proceedings of the 26th ACM Symposium on Access Control Models and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3450569.3463574","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3450569.3463574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:50Z","timestamp":1750193270000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3450569.3463574"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,11]]},"references-count":11,"alternative-id":["10.1145\/3450569.3463574","10.1145\/3450569"],"URL":"https:\/\/doi.org\/10.1145\/3450569.3463574","relation":{},"subject":[],"published":{"date-parts":[[2021,6,11]]},"assertion":[{"value":"2021-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}