{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:11Z","timestamp":1750219991304,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,27]],"date-time":"2022-10-27T00:00:00Z","timestamp":1666828800000},"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":[[2022,10,27]]},"DOI":"10.1145\/3571697.3571699","type":"proceedings-article","created":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T23:09:46Z","timestamp":1675724986000},"page":"10-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Contracts to Improve Security through Responsibility Bifurcation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9091-9739","authenticated-orcid":false,"given":"Sam","family":"Hays","sequence":"first","affiliation":[{"name":"Deptartment of Computer Science and Engineering, Vanderbilt University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6331-2365","authenticated-orcid":false,"given":"Jules","family":"White","sequence":"additional","affiliation":[{"name":"Deptartment of Computer Science and Engineering, Vanderbilt University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,2,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Search CVE list. https:\/\/cve.mitre.org\/cve\/search_cve_list.html  [n. d.]. Search CVE list. https:\/\/cve.mitre.org\/cve\/search_cve_list.html"},{"key":"e_1_3_2_1_2_1","unstructured":"[\n  2\n  ]  Mike Beedle Dave Thomas Jeff Sutherland Ken Schwaber Robert\u00a0C Martin Brian Marick Jon Kern Ron Jeffries Andrew Hunt Martin Fowler and etal[n. d.]. https:\/\/agilemanifesto.org\/  [2] Mike Beedle Dave Thomas Jeff Sutherland Ken Schwaber Robert\u00a0C Martin Brian Marick Jon Kern Ron Jeffries Andrew Hunt Martin Fowler and et al.[n. d.]. https:\/\/agilemanifesto.org\/"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2017.8006526"},{"key":"e_1_3_2_1_4_1","unstructured":"Reid Hoffman. 2018. If there aren\u2019t any typos in this essay we launched too late!https:\/\/www.linkedin.com\/pulse\/arent-any-typos-essay-we-launched-too-late-reid-hoffman\/  Reid Hoffman. 2018. If there aren\u2019t any typos in this essay we launched too late!https:\/\/www.linkedin.com\/pulse\/arent-any-typos-essay-we-launched-too-late-reid-hoffman\/"},{"key":"e_1_3_2_1_5_1","volume-title":"Calif.) 25, 10","author":"Meyer B","year":"1992","unstructured":"B Meyer . 1992. Applying \u2019design by contract\u2019. Computer (Long Beach , Calif.) 25, 10 ( 1992 ), 40\u201351. B Meyer. 1992. Applying \u2019design by contract\u2019. Computer (Long Beach, Calif.) 25, 10 (1992), 40\u201351."},{"key":"e_1_3_2_1_6_1","unstructured":"Daniel Miessler. 2021. Why software remains insecure. https:\/\/danielmiessler.com\/blog\/the-reason-software-remains-insecure\/  Daniel Miessler. 2021. Why software remains insecure. https:\/\/danielmiessler.com\/blog\/the-reason-software-remains-insecure\/"},{"key":"e_1_3_2_1_7_1","volume-title":"Predictive runtime enforcement. Formal methods in system design 51, 1","author":"Pinisetty Srinivas","year":"2017","unstructured":"Srinivas Pinisetty , Viorel Preoteasa , Stavros Tripakis , Thierry J\u00c3\u00a9ron , Yli\u00c3\u00a8s Falcone , and Herv\u00c3\u00a9 Marchand . 2017. Predictive runtime enforcement. Formal methods in system design 51, 1 ( 2017 ), 154\u2013199. Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry J\u00c3\u00a9ron, Yli\u00c3\u00a8s Falcone, and Herv\u00c3\u00a9 Marchand. 2017. Predictive runtime enforcement. Formal methods in system design 51, 1 (2017), 154\u2013199."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"}],"event":{"name":"ESSE 2022: 2022 The 3rd European Symposium on Software Engineering","acronym":"ESSE 2022","location":"Rome Italy"},"container-title":["2022 The 3rd European Symposium on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3571697.3571699","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3571697.3571699","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:33Z","timestamp":1750182573000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3571697.3571699"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,27]]},"references-count":8,"alternative-id":["10.1145\/3571697.3571699","10.1145\/3571697"],"URL":"https:\/\/doi.org\/10.1145\/3571697.3571699","relation":{},"subject":[],"published":{"date-parts":[[2022,10,27]]},"assertion":[{"value":"2023-02-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}