{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T15:32:24Z","timestamp":1776785544945,"version":"3.51.2"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csac.2003.1254340","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T16:05:44Z","timestamp":1089302744000},"page":"352-361","source":"Crossref","is-referenced-by-count":18,"title":["Defending embedded systems against buffer overflow via hardware\/software"],"prefix":"10.1109","author":[{"family":"Zili Shao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Q.","family":"Zhuge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yi He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.H.-M.","family":"Sha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","article-title":"The frame pointer overwrite","volume":"8","year":"1999","journal-title":"Phrack"},{"key":"ref32","author":"richarte","year":"2002","journal-title":"Four different tricks to bypass stack-shield and stackguard protection"},{"key":"ref31","article-title":"Bypassing stackguard and stack-shield","volume":"5","author":"bulba","year":"2000","journal-title":"Phrack"},{"key":"ref30","author":"bray","year":"2002","journal-title":"Compiler security checks in depth"},{"key":"ref36","article-title":"Getting started with gnu: a tutorial introduction using the arm evaluator-7t","author":"gatliff","year":"2001","journal-title":"Circuit Cellar INK"},{"key":"ref35","article-title":"Efficient security check and protection for embedded system against buffer overflow attacks","author":"shao","year":"0","journal-title":"submitted"},{"key":"ref34","article-title":"Pointguard: Protecting pointers from bufferoverflow vulnerabilities","author":"cowan","year":"2003","journal-title":"Proc of the USENIX Security Symposium"},{"key":"ref10","first-page":"3","article-title":"A first step towards automated detection of buffer overrun vulnerabilities","author":"david","year":"2000","journal-title":"Symposium on Network and Distributed System Security"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/545186.545188"},{"key":"ref12","article-title":"Statically detecting likely buffer overflow vulnerabilities","author":"david","year":"2001","journal-title":"Proc of the USENIX Security Symposium"},{"key":"ref13","first-page":"201","article-title":"Detecting format string vulnerabilities with type qualifiers","author":"shankar","year":"2001","journal-title":"10th USENIX Security Symp"},{"key":"ref14","first-page":"125","article-title":"Purify: Fast detection of memory leaks and access errors","author":"hastings","year":"1992","journal-title":"Proceedings of the Winter USENIX Conference"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178446"},{"key":"ref16","first-page":"13","article-title":"Backwards-compatible bounds checking for arrays and pointers in c programs","author":"jones","year":"1997","journal-title":"Third Workshop on Automated and Algorithmic Debugging"},{"key":"ref17","first-page":"29","article-title":"Type-assisted dynamic buffer overflow detection","author":"suk lhee","year":"2002","journal-title":"Proc of the USENIX Security Symposium"},{"key":"ref18","article-title":"Towards a property-based testing environment with applications to security-critical software","author":"fink","year":"1994","journal-title":"Proceedings of Irvine Software Symposium"},{"key":"ref19","article-title":"An interface language between specifications and testing","author":"fink","year":"1995","journal-title":"Tech Rep CSE-9515"},{"key":"ref28","author":"etoh","year":"2002","journal-title":"Protecting from stack-smashing attacks"},{"key":"ref4","article-title":"Smashing the stack for fun and profit","volume":"7","author":"aleph 1","year":"1996","journal-title":"Phrack"},{"key":"ref27","year":"2000","journal-title":"Stack Shield A Stack Smashing Technique Protection Tool for Linux"},{"key":"ref3","article-title":"A tour of the worm","author":"seeley","year":"1989","journal-title":"Proc of the USENIX Annual Technical Conference"},{"key":"ref6","year":"1999","journal-title":"w00w00 on heap overflows"},{"key":"ref29","article-title":"Stackghost: hardware facilitated stack protection","author":"frantzen","year":"2001","journal-title":"Proc of the USENIX Security Symposium"},{"key":"ref5","year":"2003","journal-title":"Exploiting SPARC buffer overflow vulnerabilities"},{"key":"ref8","article-title":"Once upon a free()","volume":"9","year":"2001","journal-title":"Phrack"},{"key":"ref7","article-title":"Vudo - an object superstitiously believed to embody magical powers","volume":"8","author":"michel","year":"2001","journal-title":"Phrack"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36307"},{"key":"ref9","year":"2001","journal-title":"Exploiting format string vulnerabilities"},{"key":"ref1","article-title":"The internet worm program: an analysis","author":"spafford","year":"1988","journal-title":"Tech Rep TR823"},{"key":"ref20","first-page":"22","article-title":"Property-based testing: A new approach to testing for assurance","author":"fink","year":"1997","journal-title":"ACM SIG-SOFT Software Engineering Notes"},{"key":"ref22","year":"2002","journal-title":"Kernel patches from the openwall project"},{"key":"ref21","article-title":"Testing c programs for buffer overflow vulnerabilities","author":"haugh","year":"2003","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"ref24","article-title":"The advanced return-to-lib(c) exploits: Pax case study","volume":"4","author":"nergal","year":"2001","journal-title":"Phrack"},{"key":"ref23","author":"wojtczuk","year":"1998","journal-title":"Defeating Solar Designer Non-executable Stack Patch"},{"key":"ref26","article-title":"Stackguard: Automatic adaptive detection and prevention of buffer-overflow attacks","author":"cowan","year":"1998","journal-title":"Proc of the USENIX Security Symposium"},{"key":"ref25","article-title":"Transparent runtime defense against stack smashing attacks","author":"baratloo","year":"2000","journal-title":"Proc of the USENIX Annual Technical Conference"}],"event":{"name":"19th Annual Computer Security Applications Conference, 2003.","location":"Las Vegas, Nevada, USA"},"container-title":["19th Annual Computer Security Applications Conference, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8882\/28060\/01254340.pdf?arnumber=1254340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T23:44:49Z","timestamp":1489448689000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1254340\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/csac.2003.1254340","relation":{},"subject":[]}}