{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T05:16:22Z","timestamp":1781327782301,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3191697.3213790","type":"proceedings-article","created":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T12:12:40Z","timestamp":1530533560000},"page":"218-219","source":"Crossref","is-referenced-by-count":33,"title":["Writing safe smart contracts in Flint"],"prefix":"10.1145","author":[{"given":"Franklin","family":"Schrans","sequence":"first","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Susan","family":"Eisenbach","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2014. Solidity Documentation. http:\/\/solidity.readthedocs.io\/en\/latest\/. (2014). 2014.  2014. Solidity Documentation. http:\/\/solidity.readthedocs.io\/en\/latest\/. (2014). 2014."},{"key":"e_1_3_2_1_2_1","unstructured":"Solidity Modifiers. http:\/\/solidity.readthedocs.io\/en\/develop\/contracts. html#functionmodifiers. (2014). 2016.  Solidity Modifiers. http:\/\/solidity.readthedocs.io\/en\/develop\/contracts. html#functionmodifiers. (2014). 2016."},{"key":"e_1_3_2_1_3_1","unstructured":"Chasing the DAO Attacker\u2019s Wake. https:\/\/pdaian.com\/blog\/ chasingthedaoattackerswake\/. (2016). 2016.  Chasing the DAO Attacker\u2019s Wake. https:\/\/pdaian.com\/blog\/ chasingthedaoattackerswake\/. (2016). 2016."},{"key":"e_1_3_2_1_4_1","unstructured":"King of the Ether Throne: A Post-Mortem investigation. https:\/\/www. kingoftheether.com\/postmortem.html. (2016). 2016. The Viper programming language. https:\/\/github.com\/ethereum\/vyper. (2016). 2017. Bamboo: a language for morphing smart contracts. https:\/\/github.com\/ pirapira\/bamboo. (2017). 2017.  King of the Ether Throne: A Post-Mortem investigation. https:\/\/www. kingoftheether.com\/postmortem.html. (2016). 2016. The Viper programming language. https:\/\/github.com\/ethereum\/vyper. (2016). 2017. Bamboo: a language for morphing smart contracts. https:\/\/github.com\/ pirapira\/bamboo. (2017). 2017."},{"key":"e_1_3_2_1_5_1","unstructured":"The Multi-sig Hack: A Postmortem. http:\/\/paritytech.io\/ themultisighackapostmortem\/. (2017). 2017.  The Multi-sig Hack: A Postmortem. http:\/\/paritytech.io\/ themultisighackapostmortem\/. (2017). 2017."},{"key":"e_1_3_2_1_6_1","unstructured":"A Postmortem on the Parity Multi-Sig Library Self-Destruct. http: \/\/paritytech.io\/apostmortemontheparitymultisiglibraryselfdestruct\/. (2017).  A Postmortem on the Parity Multi-Sig Library Self-Destruct. http: \/\/paritytech.io\/apostmortemontheparitymultisiglibraryselfdestruct\/. (2017)."},{"key":"e_1_3_2_1_7_1","unstructured":"Karthikeyan Bhargavan Antoine Delignat-Lavaud C\u00e9dric Fournet Anitha Gollamudi Georges Gonthier Nadim Kobeissi A Rastogi T Sibut-Pinote N Swamy and S Zanella-Beguelin. 2016.  Karthikeyan Bhargavan Antoine Delignat-Lavaud C\u00e9dric Fournet Anitha Gollamudi Georges Gonthier Nadim Kobeissi A Rastogi T Sibut-Pinote N Swamy and S Zanella-Beguelin. 2016."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"}],"event":{"name":"<Programming> 2018: 2nd International Conference on the Art, Science, and Engineering of Programming 2018","location":"Nice France","acronym":"<Programming> 2018","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3213790","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3191697.3213790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:32Z","timestamp":1750212692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3213790"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":9,"alternative-id":["10.1145\/3191697.3213790","10.1145\/3191697"],"URL":"https:\/\/doi.org\/10.1145\/3191697.3213790","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]}}}