{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T06:24:39Z","timestamp":1746080679403},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/dsn.2008.4630093","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T15:10:29Z","timestamp":1222441829000},"page":"247-256","source":"Crossref","is-referenced-by-count":4,"title":["Convicting exploitable software vulnerabilities: An efficient input provenance based approach"],"prefix":"10.1109","author":[{"family":"Zhiqiang Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Xiangyu Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Dongyan Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"statically detecting likely buffer overflow vulnerabilities","author":"larochelle","year":"2001","journal-title":"Proc Usenix Security Symp"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"17","article-title":"securing software by enforcing data-flow integrity","author":"castro","year":"2006","journal-title":"Proc of OSDI"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"18","article-title":"a first step towards automated detection of buffer overrun vulnerabilities","author":"wagner","year":"2000","journal-title":"Proc of NDSS"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317472"},{"key":"15","article-title":"dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software","author":"newsome","year":"2005","journal-title":"Proc of NDSS"},{"key":"16","article-title":"control-flow integrity: principles, implementations, and applications","author":"abadi","year":"2005","journal-title":"Proc of ACM CCS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.109"},{"key":"14","article-title":"dynamic spyware analysis","author":"egele","year":"2007","journal-title":"Proc 2007 USENIX Ann Technical Conf"},{"year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.17"},{"key":"21","article-title":"archer: using symbolic, path-sensitive analysis to detect memory access errors","author":"xie","year":"2003","journal-title":"Proc of ACM ESEC\/FSE-13"},{"year":"0","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029911"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1145\/1081706.1081750","article-title":"cute: a concolic unit testing engine for c","author":"sen","year":"2005","journal-title":"Proc of ACM ESEC\/FSE-13"},{"year":"0","key":"7"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58940-9"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"8","article-title":"an empirical study of the robustness of windows nt applications using random testing","author":"forrester","year":"2000","journal-title":"Proc 4th Usenix Windows Systems Symp"}],"event":{"name":"2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)","start":{"date-parts":[[2008,6,24]]},"location":"Anchorage, AK","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4610267\/4630050\/04630093.pdf?arnumber=4630093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T12:05:03Z","timestamp":1497787503000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4630093\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/dsn.2008.4630093","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}