{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:51Z","timestamp":1763468091947,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T00:00:00Z","timestamp":1347926400000},"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":[[2012,9,18]]},"DOI":"10.1145\/2413296.2413309","type":"proceedings-article","created":{"date-parts":[[2012,12,17]],"date-time":"2012-12-17T15:12:21Z","timestamp":1355757141000},"page":"141-152","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Holographic vulnerability studies"],"prefix":"10.1145","author":[{"given":"Jedidiah R.","family":"Crandall","sequence":"first","affiliation":[{"name":"University of New Mexico, Albuquerque, NM, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Oliveira","sequence":"additional","affiliation":[{"name":"Bowdoin College, Brunswick, ME, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,9,18]]},"reference":[{"unstructured":"{1} GCC extension for protecting applications from stack-smashing attacks (http:\/\/www.research.ibm.com\/trl\/projects\/security\/ssp\/)..  {1} GCC extension for protecting applications from stack-smashing attacks (http:\/\/www.research.ibm.com\/trl\/projects\/security\/ssp\/)..","key":"e_1_3_2_1_1_1"},{"unstructured":"Stack Shield: A Stack Smashing Technique Protection Tool for Linux (http:\/\/www.angelfire.com\/sk\/stackshield\/info.html)..  Stack Shield: A Stack Smashing Technique Protection Tool for Linux (http:\/\/www.angelfire.com\/sk\/stackshield\/info.html)..","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.6028\/NBS.IR.76-1041","volume-title":"Security Analysis and Enhancements of Computer Operating Systems. NBSIR 76-1041","author":"Abbot R. P.","year":"1976","unstructured":"R. P. Abbot , J. S. Chin , J. E. Donnelley , W. L. Konigsford , and D. A. Webb . Security Analysis and Enhancements of Computer Operating Systems. NBSIR 76-1041 , Institute for Computer Sciences and Technology , National Bureau of Standards, 1976 .. R. P. Abbot, J. S. Chin, J. E. Donnelley, W. L. Konigsford, and D. A. Webb. Security Analysis and Enhancements of Computer Operating Systems. NBSIR 76-1041, Institute for Computer Sciences and Technology, National Bureau of Standards, 1976.."},{"unstructured":"N. S. Agency. Security-enhanced linux (http:\/\/www.nsa.gov\/research\/selinux\/)..  N. S. Agency. Security-enhanced linux (http:\/\/www.nsa.gov\/research\/selinux\/)..","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/1900546.1900551"},{"key":"e_1_3_2_1_6_1","volume-title":"November","author":"One Aleph","year":"1996","unstructured":"Aleph One . Smashing the stack for fun and profit. Phrack, 7(49) , November 1996 .. Aleph One. Smashing the stack for fun and profit. Phrack, 7(49), November 1996.."},{"key":"e_1_3_2_1_7_1","volume-title":"A Taxonomy of Security Faults in the UNIX Operating System","author":"Aslam T.","year":"1995","unstructured":"T. Aslam . A Taxonomy of Security Faults in the UNIX Operating System , 1995 .. T. Aslam. A Taxonomy of Security Faults in the UNIX Operating System, 1995.."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/1966913.1966919"},{"key":"e_1_3_2_1_11_1","first-page":"20","volume-title":"Proceedings of the 14th conference on USENIX Security Symposium -","volume":"14","author":"Borisov N.","year":"2005","unstructured":"N. Borisov , R. Johnson , N. Sastry , and D. Wagner . Fixing Races for Fun and Profit: How to Abuse atime . In Proceedings of the 14th conference on USENIX Security Symposium - Volume 14 , SSYM'05, pages 20 -- 20 , Berkeley, CA, USA , 2005 . USENIX Association. N. Borisov, R. Johnson, N. Sastry, and D. Wagner. Fixing Races for Fun and Profit: How to Abuse atime. In Proceedings of the 14th conference on USENIX Security Symposium - Volume 14, SSYM'05, pages 20--20, Berkeley, CA, USA, 2005. USENIX Association."},{"key":"e_1_3_2_1_12_1","volume-title":"December","author":"Bratus S.","year":"2011","unstructured":"S. Bratus , M. E. Locasto , M. L. Patterson , L. Sassaman , and A. Shubina . Exploit Programming: From Buffer Overflows to \"Weird Machines\" and Theory of Computation. USENIX ;login , December 2011 . S. Bratus, M. E. Locasto, M. L. Patterson, L. Sassaman, and A. Shubina. Exploit Programming: From Buffer Overflows to \"Weird Machines\" and Theory of Computation. USENIX ;login, December 2011."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1455770.1455776"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1109\/SP.2009.10"},{"key":"e_1_3_2_1_15_1","first-page":"240","volume-title":"7th DoD\/NBS Computer Security Conference Proceedings","author":"Cohen F.","year":"1984","unstructured":"F. Cohen . Computer viruses : Theory and experiments . In 7th DoD\/NBS Computer Security Conference Proceedings , pages 240 -- 263 , September 1984 . F. Cohen. Computer viruses: Theory and experiments. In 7th DoD\/NBS Computer Security Conference Proceedings, pages 240--263, September 1984."},{"key":"e_1_3_2_1_16_1","first-page":"63","volume-title":"USENIX Security","author":"Cowan C.","year":"1998","unstructured":"C. Cowan , C. Pu , D. Maier , J. Walpole , P. Bakke , S. Beattie , A. Grier , P. Wagle , Q. Zhang , and H. Hinton . StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks . In USENIX Security , pages 63 -- 78 , Jan 1998 . C. Cowan, C. Pu, D. Maier, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, Q. Zhang, and H. Hinton. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In USENIX Security, pages 63--78, Jan 1998."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1109\/MICRO.2004.26"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/1102120.1102152"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/11506881_3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/800001.811668"},{"key":"e_1_3_2_1_21_1","first-page":"14","volume-title":"Proceedings of the 13th conference on USENIX Security Symposium -","volume":"13","author":"Dean D.","year":"2004","unstructured":"D. Dean and A. J. Hu . Fixing Races for Fun and Profit: How to Use access(2) . In Proceedings of the 13th conference on USENIX Security Symposium - Volume 13 , pages 14 -- 14 , Berkeley, CA, USA , 2004 . USENIX Association. D. Dean and A. J. Hu. Fixing Races for Fun and Profit: How to Use access(2). In Proceedings of the 13th conference on USENIX Security Symposium - Volume 13, pages 14--14, Berkeley, CA, USA, 2004. USENIX Association."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/360051.360056"},{"unstructured":"S. Designer. Stackpatch (http:\/\/www.openwall.com\/linux).  S. Designer. Stackpatch (http:\/\/www.openwall.com\/linux).","key":"e_1_3_2_1_23_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/945445.945464"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1145\/363095.363146"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the Black Hat Briefings","author":"Hansen R. J.","year":"2005","unstructured":"R. J. Hansen and M. L. Patterson . Guns and Butter: Toward Formal Axioms of Input Validation . Proceedings of the Black Hat Briefings , 2005 . R. J. Hansen and M. L. Patterson. Guns and Butter: Toward Formal Axioms of Input Validation. Proceedings of the Black Hat Briefings, 2005."},{"key":"e_1_3_2_1_28_1","volume-title":"DTIC AD A056816","author":"Hollingsworth R.","year":"1978","unstructured":"R. B. II and D. Hollingsworth . Protection Analysis Project Final Report. ISI\/RR-78-13 , DTIC AD A056816 , USC\/Information Sciences Institute , 1978 . R. B. II and D. Hollingsworth. Protection Analysis Project Final Report. ISI\/RR-78-13, DTIC AD A056816, USC\/Information Sciences Institute, 1978."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_30_1","volume-title":"Ruhr-Universitat Bochum","author":"Kornau T.","year":"2010","unstructured":"T. Kornau . Return-oriented Programming for the ARM Architecture. Master's thesis , Ruhr-Universitat Bochum , 2010 . T. Kornau. Return-oriented Programming for the ARM Architecture. Master's thesis, Ruhr-Universitat Bochum, 2010."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1145\/359545.359563"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1145\/185403.185412"},{"key":"e_1_3_2_1_33_1","volume-title":"Capability-Based Computer Systems. Butterworth-Heinemann","author":"Levy H. M.","year":"1984","unstructured":"H. M. Levy . Capability-Based Computer Systems. Butterworth-Heinemann , 1984 . H. M. Levy. Capability-Based Computer Systems. Butterworth-Heinemann, 1984."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1145\/1755913.1755934"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 2001 IEEE Workshop on Information Assurance and Security","author":"Maconachy W. V.","year":"2001","unstructured":"W. V. Maconachy , C. D. Schou , D. Ragsdale , and D. Welch . A Model for Information Assurance: An Integrated Approach . In Proceedings of the 2001 IEEE Workshop on Information Assurance and Security , 2001 . W. V. Maconachy, C. D. Schou, D. Ragsdale, and D. Welch. A Model for Information Assurance: An Integrated Approach. In Proceedings of the 2001 IEEE Workshop on Information Assurance and Security, 2001."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1145\/1190216.1190251"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the 14th National Computer Security Conference. National Institutde of Standards and Technology","author":"McCumber J. R.","year":"1991","unstructured":"J. R. McCumber . Information Systems Security: A Comprehehnsive Model . In Proceedings of the 14th National Computer Security Conference. National Institutde of Standards and Technology , 1991 . J. R. McCumber. Information Systems Security: A Comprehehnsive Model. In Proceedings of the 14th National Computer Security Conference. National Institutde of Standards and Technology, 1991."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1145\/800214.806541"},{"volume-title":"December","year":"2001","unstructured":"Nergal. The Advanced Return-into-lib(c) eEploits: PaX Case Study . Phrack, 1(58) , December 2001 . Nergal. The Advanced Return-into-lib(c) eEploits: PaX Case Study . Phrack, 1(58), December 2001.","key":"e_1_3_2_1_39_1"},{"key":"e_1_3_2_1_40_1","first-page":"1087","volume-title":"Computer Systems Security Evaluation. National Computer Conference Proceedings (AFIPS Conference Proceedings)","author":"Neumann P.","year":"1978","unstructured":"P. Neumann . Computer Systems Security Evaluation. National Computer Conference Proceedings (AFIPS Conference Proceedings) , pages 1087 -- 1095 , 1978 . P. Neumann. Computer Systems Security Evaluation. National Computer Conference Proceedings (AFIPS Conference Proceedings), pages 1087--1095, 1978."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1145\/1554339.1554349"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_42_1","DOI":"10.1109\/TC.2006.166"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_43_1","DOI":"10.1007\/978-3-642-23644-0_5"},{"key":"e_1_3_2_1_44_1","volume-title":"Mar","author":"Project X","year":"2003","unstructured":"Pa X Project . Address space layout randomization , Mar 2003 . http:\/\/pageexec.virtualave.net\/docs\/aslr.txt. PaX Project. Address space layout randomization, Mar 2003. http:\/\/pageexec.virtualave.net\/docs\/aslr.txt."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_45_1","DOI":"10.1145\/1629575.1629591"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_46_1","DOI":"10.1109\/SECURWARE.2010.10"},{"issue":"9","key":"e_1_3_2_1_47_1","first-page":"338","volume":"63","author":"Saltzer J.","year":"1975","unstructured":"J. Saltzer and M. Schroeder . The Protection of Information in Computer Systems. Proceedings of the IEEE , 63 ( 9 ): 338 -- 402 , 1975 . J. Saltzer and M. Schroeder. The Protection of Information in Computer Systems. Proceedings of the IEEE, 63(9):338--402, 1975.","journal-title":"The Protection of Information in Computer Systems. Proceedings of the IEEE"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_48_1","DOI":"10.5555\/2228340.2228344"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_49_1","DOI":"10.1145\/265924.265927"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_50_1","DOI":"10.1145\/1315245.1315313"},{"key":"e_1_3_2_1_51_1","volume-title":"The Mathematical Theory of Communication","author":"Shannon C. E.","year":"1949","unstructured":"C. E. Shannon and W. Weaver . The Mathematical Theory of Communication . University of Illinois Press , Urbana, Illinois , 1949 . C. E. Shannon and W. Weaver. The Mathematical Theory of Communication. University of Illinois Press, Urbana, Illinois, 1949."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_52_1","DOI":"10.1145\/1111037.1111070"},{"unstructured":"P. Team. Pax non-executable pages design & implementation (http:\/\/pax.grsecurity.net\/docs\/noexec.txt).  P. Team. Pax non-executable pages design & implementation (http:\/\/pax.grsecurity.net\/docs\/noexec.txt).","key":"e_1_3_2_1_53_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_54_1","DOI":"10.5555\/1364813.1364826"},{"key":"e_1_3_2_1_55_1","first-page":"17","volume-title":"Proceedings of the 12th conference on USENIX Security Symposium -","volume":"12","author":"Tsyrklevich E.","year":"2003","unstructured":"E. Tsyrklevich and B. Yee . Dynamic Detection and Prevention of Race Conditions in File Accesses . In Proceedings of the 12th conference on USENIX Security Symposium - Volume 12 , pages 17 -- 17 , Berkeley, CA, USA , 2003 . USENIX Association. E. Tsyrklevich and B. Yee. Dynamic Detection and Prevention of Race Conditions in File Accesses. In Proceedings of the 12th conference on USENIX Security Symposium - Volume 12, pages 17--17, Berkeley, CA, USA, 2003. USENIX Association."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_56_1","DOI":"10.1145\/1066677.1066758"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_57_1","DOI":"10.1109\/SP.2011.26"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_58_1","DOI":"10.1145\/1368088.1368112"}],"event":{"sponsor":["ACSA Applied Computing Security Assoc","ACM Association for Computing Machinery","Microsoft Microsoft","CA Labs CA Labs"],"acronym":"NSPW '12","name":"NSPW '12: The New Security Paradigms Workshop","location":"Bertinoro Italy"},"container-title":["Proceedings of the 2012 New Security Paradigms Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2413296.2413309","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2413296.2413309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:09Z","timestamp":1750238469000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2413296.2413309"}},"subtitle":["vulnerabilities as fractures in interpretation as information flows across abstraction boundaries"],"short-title":[],"issued":{"date-parts":[[2012,9,18]]},"references-count":55,"alternative-id":["10.1145\/2413296.2413309","10.1145\/2413296"],"URL":"https:\/\/doi.org\/10.1145\/2413296.2413309","relation":{},"subject":[],"published":{"date-parts":[[2012,9,18]]},"assertion":[{"value":"2012-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}