{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:56:35Z","timestamp":1747810595278},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1109\/date.2009.5090747","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:39Z","timestamp":1361297799000},"source":"Crossref","is-referenced-by-count":12,"title":["Architectural support for low overhead detection of memory violations"],"prefix":"10.1109","author":[{"given":"S.","family":"Ghose","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Gilgeous","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Dudnik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Aggarwal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Waxman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587064"},{"key":"35","article-title":"protecting c programs from attacks via invalid pointer dereferences","author":"yong","year":"2003","journal-title":"Foundations of Software Engineering"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948155"},{"key":"36","year":"0"},{"key":"18","article-title":"purify: fast detection of memory leaks and access errors","author":"hastings","year":"1992","journal-title":"Proc USENIX Winter 1992 Conference"},{"key":"33","article-title":"archer: using symbolic, path-sensitive analysis to detect memory access errors","author":"xie","year":"2003","journal-title":"Proc of 11th International Symposium on the Foundations of Software Engineering"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"34","year":"2004"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781149"},{"key":"13","article-title":"raksha: a flexible informatin flow architecture for software security","author":"dalton","year":"2007","journal-title":"Proc ISCA"},{"key":"14","year":"0"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346295"},{"key":"11","article-title":"stackguard: automatic adaptive detection and prevention of buffer-overflow attacks","author":"cowan","year":"1998","journal-title":"Proc Usenix Security Conf"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.26"},{"key":"21","article-title":"cyclone: a safe dialect of c","author":"jim","year":"2002","journal-title":"Proceedings of the USENIX Annual Technical Conference"},{"key":"20","year":"2004","journal-title":"Vulnerabilities"},{"key":"22","article-title":"backwards-compatible bounds checking for arrays and pointers in c programs","author":"jones","year":"1997","journal-title":"Proc Int Workshop Autom Debugging"},{"key":"23","article-title":"efficient dynamic detection of input related software errors","author":"larson","year":"2004"},{"key":"24","author":"marcus","year":"2000","journal-title":"Blueprints for High Availability"},{"key":"25","year":"0","journal-title":"MS TechNet Security"},{"key":"26","year":"0"},{"key":"27","year":"0"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"29","author":"perens","year":"0","journal-title":"Electric Fence"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1176254.1176281"},{"key":"2","year":"0"},{"key":"10","article-title":"understanding data lifetime via whole system simulation","author":"chow","year":"2004","journal-title":"Proc of the USENIX Security Symp"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378850"},{"key":"30","article-title":"a practical dynamic buffer overflow detector","author":"ruwase","year":"2004","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"7","article-title":"olden: parallelizing programs with dynamic data structures on distributed-memory machines","author":"carlisle","year":"1996"},{"key":"6","year":"0"},{"key":"32","year":"0","journal-title":"Valgrind"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349342"},{"key":"31","article-title":"rifle: an architectural framework for usercentric information-flow security","author":"vachharajani","year":"2004","journal-title":"Proc MICRO"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178446"},{"key":"9","author":"chen","year":"2007","journal-title":"The VLSI Handbook"},{"key":"8","year":"0","journal-title":"Checker"}],"event":{"name":"2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09)","location":"Nice","start":{"date-parts":[[2009,4,20]]},"end":{"date-parts":[[2009,4,24]]}},"container-title":["2009 Design, Automation & Test in Europe Conference & Exhibition"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/4926138\/5090609\/05090747.pdf?arnumber=5090747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:10:01Z","timestamp":1602688201000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/5090747"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":37,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/date.2009.5090747","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]}}}