{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:13:29Z","timestamp":1750306409933,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,4]],"date-time":"2015-07-04T00:00:00Z","timestamp":1435968000000},"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":[[2015,7,4]]},"DOI":"10.1145\/2786558.2786562","type":"proceedings-article","created":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T14:10:55Z","timestamp":1436537455000},"page":"49-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Short Paper"],"prefix":"10.1145","author":[{"given":"Vijay","family":"Ganesh","sequence":"first","affiliation":[{"name":"University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Banescu","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"Ochoa","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,7,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240276.2240279"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.12"},{"key":"e_1_3_2_1_3_1","unstructured":"A. W. Appel. Verification of a cryptographic primitive: Sha-256.  A. W. Appel. Verification of a cryptographic primitive: Sha-256."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1053283.1053286"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54792-8_8"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2330667.2330683"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134000"},{"key":"e_1_3_2_1_8_1","first-page":"105","volume-title":"USENIX Security","volume":"3","author":"Bhatkar S.","year":"2003","unstructured":"S. Bhatkar , D. C. DuVarney , and R. Sekar . Address obfuscation: An efficient approach to combat a broad range of memory error exploits . In USENIX Security , volume 3 , pages 105 -- 120 , 2003 . S. Bhatkar, D. C. DuVarney, and R. Sekar. Address obfuscation: An efficient approach to combat a broad range of memory error exploits. In USENIX Security, volume 3, pages 105--120, 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.22"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966913.1966919"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24852-1_21"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/567067.567080"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-4048(93)90054-9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.012"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.15"},{"key":"e_1_3_2_1_17_1","volume-title":"No Starch Press","author":"Erickson J.","year":"2008","unstructured":"J. Erickson . Hacking : The Art of Exploitation . No Starch Press , 2008 . J. Erickson. Hacking: The Art of Exploitation. No Starch Press, 2008."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"e_1_3_2_1_19_1","first-page":"7","volume-title":"IFIP Congress (1)","author":"Floyd R. W.","year":"1971","unstructured":"R. W. Floyd . Toward interactive design of correct programs . In IFIP Congress (1) , pages 7 -- 10 , 1971 . R. W. Floyd. Toward interactive design of correct programs. In IFIP Congress (1), pages 7--10, 1971."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.18"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948146"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948146"},{"key":"e_1_3_2_1_25_1","volume-title":"La cryptographie militaire. Journal des sciences militaires","author":"Kerckhoffs A.","year":"1883","unstructured":"A. Kerckhoffs . La cryptographie militaire. Journal des sciences militaires , 1883 . A. Kerckhoffs. La cryptographie militaire. Journal des sciences militaires, 1883."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/647253.720293"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375606"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516670"},{"key":"e_1_3_2_1_30_1","first-page":"447","volume-title":"USENIX Security","author":"Pappas V.","year":"2013","unstructured":"V. Pappas , M. Polychronakis , and A. D. Keromytis . Transparent rop exploit mitigation using indirect branch tracing . In USENIX Security , pages 447 -- 462 , 2013 . V. Pappas, M. Polychronakis, and A. D. Keromytis. Transparent rop exploit mitigation using indirect branch tracing. In USENIX Security, pages 447--462, 2013."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1841962.1841964"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2133375.2133377"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030083.1030124"},{"key":"e_1_3_2_1_36_1","volume-title":"Communication theory of secrecy systems. Bell system technical journal, 28(4):656--715","author":"Shannon C. E.","year":"1949","unstructured":"C. E. Shannon . Communication theory of secrecy systems. Bell system technical journal, 28(4):656--715 , 1949 . C. E. Shannon. Communication theory of secrecy systems. Bell system technical journal, 28(4):656--715, 1949."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00596-1_21"},{"key":"e_1_3_2_1_38_1","volume-title":"Usenix Security","author":"Sovarel A. N.","year":"2005","unstructured":"A. N. Sovarel , D. Evans , and N. Paul . Where's the feeb? the effectiveness of instruction set randomization . In Usenix Security , 2005 . A. N. Sovarel, D. Evans, and N. Paul. Where's the feeb? the effectiveness of instruction set randomization. In Usenix Security, 2005."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-5906-5_509"},{"key":"e_1_3_2_1_40_1","volume-title":"Pax address space layout randomization","author":"Team P.","year":"2003","unstructured":"P. Team . Pax address space layout randomization . 2003 . http:\/\/pax.grsecurity.net\/docs\/aslr.txt. P. Team. Pax address space layout randomization. 2003. http:\/\/pax.grsecurity.net\/docs\/aslr.txt."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2006.33"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187679"}],"event":{"name":"ECOOP '15: European Conference on Object-Oriented Programming ECOOP 2015","sponsor":["CTU Czech Technical University in Prague","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","AITO Assoc Internationale por les Technologies Objects"],"location":"Prague Czech Republic","acronym":"ECOOP '15"},"container-title":["Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786558.2786562","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2786558.2786562","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:41Z","timestamp":1750223261000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786558.2786562"}},"subtitle":["The Meaning of Attack-Resistant Systems"],"short-title":[],"issued":{"date-parts":[[2015,7,4]]},"references-count":42,"alternative-id":["10.1145\/2786558.2786562","10.1145\/2786558"],"URL":"https:\/\/doi.org\/10.1145\/2786558.2786562","relation":{},"subject":[],"published":{"date-parts":[[2015,7,4]]},"assertion":[{"value":"2015-07-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}