{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:04:23Z","timestamp":1743087863912,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229872"},{"type":"electronic","value":"9783540301080"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30108-0_24","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T14:15:03Z","timestamp":1284646503000},"page":"385-406","source":"Crossref","is-referenced-by-count":9,"title":["ARCHERR: Runtime Environment Driven Program Safety"],"prefix":"10.1007","author":[{"given":"Ramkumar","family":"Chinchani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anusha","family":"Iyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bharat","family":"Jayaraman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shambhu","family":"Upadhyaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Wagner, D., Foster, J.S., Brewer, E.A., Aiken, A.: A First Step towards Automated Detection of Buffer Overrun Vulnerabilities. In: Network and Distributed System Security Symposium, San Diego, CA, pp. 3\u201317 (2000)"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/161494.161501","volume":"1","author":"W. Landi","year":"1992","unstructured":"Landi, W.: Undecidability of Static Analysis. ACM Letters on Programming Languages and Systems\u00a01, 323\u2013337 (1992)","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"1467","DOI":"10.1145\/186025.186041","volume":"16","author":"G. Ramalingam","year":"1994","unstructured":"Ramalingam, G.: The Undecidability of Aliasing. ACM Transactions on Programming Languages and Systems\u00a016, 1467\u20131471 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Necula, G.C., McPeak, S., Weimer, W.: CCured: Type-safe Retrofitting of Legacy Code. In: Symposium on Principles of Programming Languages, pp. 128\u2013139 (2002)","DOI":"10.1145\/565816.503286"},{"key":"24_CR5","unstructured":"Jones, R.W.M., Kelly, P.H.J.: Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. In: Automated and Algorithmic Debugging, pp. 13\u201326 (1997)"},{"key":"24_CR6","unstructured":"One, A.: Smashing the Stack for Fun and Profit. Phrack 49\u00a07(49) (1996)"},{"key":"24_CR7","unstructured":"Bianco, D.J.: An Integer Overflow Attack Against SSH Version 1 Attack Detectors. In: SANS Cyber Defense Initiatives (2001)"},{"key":"24_CR8","unstructured":"Cohen, C.F.: CERT Advisory CA-2002-17 Apache Web Server Chunk Handling Vulnerability (2002)"},{"key":"24_CR9","unstructured":"Jones, R., Kelly, P.: (Bounds Checking for C), \n                  \n                    http:\/\/www-ala.doc.ic.ac.uk\/~phjk\/BoundsChecking.html"},{"key":"24_CR10","unstructured":"TIS Committee: Tool Interface Standard (TIS), Executable and Linking Format (ELF) Specification, Version 1.2 (1995)"},{"key":"24_CR11","unstructured":"Standard for Binary Floating Point Arithmetic. ANSI\/IEEE Standard 754-1985 (1985)"},{"key":"24_CR12","unstructured":"Boldyshev, K.: Startup State of a Linux\/i386 ELF Binary (2000), An article hosted on \n                  \n                    http:\/\/linuxassembly.org\n                  \n                  \n                , \n                  \n                    http:\/\/linuxassembly.org\/articles\/startup.html"},{"key":"24_CR13","unstructured":"Bugtraq ID 7230: Sendmail Address Prescan Memory Corruption Vulnerability (2003) \n                  \n                    http:\/\/www.securityfocus.com\/bid\/7230"},{"key":"24_CR14","unstructured":"Bugtaq ID 9297: GNU Indent Local Heap Overflow Vulnerability (2003) \n                  \n                    http:\/\/www.securityfocus.com\/bid\/9297\/info\/"},{"key":"24_CR15","unstructured":"Bugtraq ID 7812: Man Catalog File Format String Vulnerability (2003), \n                  \n                    http:\/\/www.securityfocus.com\/bid\/7812"},{"key":"24_CR16","unstructured":"Bugtraq ID 8589: Pine rfc2231 get param() Remote Integer Overflow Vulnerability (2003), \n                  \n                    http:\/\/www.securityfocus.com\/bid\/8589"},{"key":"24_CR17","unstructured":"Posting on Bugtraq Mailing List: (2003), \n                  \n                    http:\/\/archives.neohapsis.com\/archives\/bugtraq\/2003-09\/0181.html"},{"key":"24_CR18","unstructured":"Scimark 2.0 (2003), \n                  \n                    http:\/\/math.nist.gov\/scimark2\/index.html"},{"key":"24_CR19","unstructured":"Cowan, C., Beattie, S., Johansen, J., Wagle, P.: PointGuard: Protecting Pointers from Buffer Overflow Vulnerabilties. In: Proceedings of the 12th USENIX Security Symposium, Washington, D.C (2003)"},{"key":"24_CR20","unstructured":"(Rational PurifyPlus), \n                  \n                    http:\/\/www-306.ibm.com\/software\/awdtools\/purifyplus\/"},{"key":"24_CR21","unstructured":"(NuMega BoundsChecker), \n                  \n                    http:\/\/www.numega.com\/products\/aed\/vcmore.shtml"},{"key":"24_CR22","unstructured":"Cowan, C., Pu, C., Maier, D., Hinton, H., Bakke, P., Beattie, S., Grier, A., Wagle, P., Zhang, Q.: StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks. In: 7th USENIX Security Symposium, San Antonio, TX (1998)"},{"key":"24_CR23","unstructured":"Vendicator: (StackShield: A \u201cStack Smashing\u201d Technique Protection Tool for Linux), \n                  \n                    http:\/\/www.angelfire.com\/sk\/stackshield\/"},{"key":"24_CR24","unstructured":"Etoh, H.: (GCC Extension for Protecting Applications from Stack-smashing Attacks), \n                  \n                    http:\/\/www.trl.ibm.co.jp\/projects\/security\/ssp6"},{"key":"24_CR25","unstructured":"Bulba, Kil3r: Bypassing StackGuard and StackShield (Phrack Magazine, Volume 0xa Issue 0x38)"},{"key":"24_CR26","unstructured":"Jim, T., Morrisett, G., Grossman, D., Hicks, M., Cheney, J., Wang, Y.: Cyclone: A Safe Dialect of C. In: USENIX Annual Technical Conference, Monterey, CA (2002)"},{"key":"24_CR27","unstructured":"Bhatkar, S., DuVarney, D.C., Sekar, R.: Address Obfuscation: An Efficient Approach to Combat a Broad Range of Memory Error Exploits. In: Proceedings of the 12th USENIX Security Symposium, Washington, D.C (2003)"},{"key":"24_CR28","unstructured":"PAX Project (2003), \n                  \n                    http:\/\/pax.grsecurity.net\/docs\/aslr.txt"},{"key":"24_CR29","unstructured":"Bartaloo, A., Singh, N., Tsai, T.: Transparent Run-Time Defense Againsts Stack Smashing Attacks. In: 2000 USENIX Annual Technical Conference, San Diego, CA (2000)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2004"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30108-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:34:24Z","timestamp":1559507664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30108-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229872","9783540301080"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30108-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}