{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:35:11Z","timestamp":1725478511024},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1109\/ccnc.2016.7444872","type":"proceedings-article","created":{"date-parts":[[2016,3,31]],"date-time":"2016-03-31T17:13:05Z","timestamp":1459444385000},"page":"745-751","source":"Crossref","is-referenced-by-count":0,"title":["SMOV: Array Bound-Check and access in a single instruction"],"prefix":"10.1109","author":[{"given":"Antonio","family":"Maia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leandro","family":"Melo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando Magno Quintao","family":"Pereira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar P. Vilela","family":"Neto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo B.","family":"Oliveira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2737095.2737097"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2714064.2660205"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318944"},{"key":"ref32","article-title":"Stackguard: Automatic adaptive detection and prevention of buffer-overflow attacks","author":"cowan","year":"1998","journal-title":"Proceedings of the USENIX Security Symposium (USENIX Security'98)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2000.898880"},{"key":"ref30","article-title":"The ASTRÉE analyzer","author":"cousot","year":"2005","journal-title":"Proceedings of the European Symposium on Programming (ESOP’–05)"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ITRE.2003.1270612"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1655077.1655083"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2006.56"},{"key":"ref34","article-title":"A comparison of publicly available tools for dynamic buffer overflow prevention","author":"wilander","year":"2003","journal-title":"Proc Network and Distributed System Security Symp (NDSS)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455776"},{"key":"ref11","article-title":"Rop is still dangerous: Breaking modern defenses","author":"carlini","year":"2014","journal-title":"Proceedings of 14th USENIX Security Symposium (USENIX Security"},{"key":"ref12","article-title":"Address-sanitizer: a fast address sanity checker","author":"serebryany","year":"2012","journal-title":"Proceedings of the USENIX Annual Technical Conference"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1353535.1346295"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2366231.2337181"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544147"},{"year":"2013","key":"ref16","article-title":"Intel Architecture Instruction Set Extensions Programming Reference"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"key":"ref18","article-title":"Qemu, a fast and portable dynamic translator","author":"bellard","year":"2005","journal-title":"Proceedings of the USENIX Annual Technical Conference FREENIX Track"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2006.82"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2001.924296"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.10"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1133255.1133999"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/spe.515"},{"year":"2014","key":"ref6"},{"key":"ref29","article-title":"Static source code checking for user-defined properties","author":"holzmann","year":"2002","journal-title":"Proceedings of the Integrated Design and Process Technology (IDPT'02)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/637201.637244"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806657"},{"key":"ref7","article-title":"Testing c programs for buffer overflow vulnerabilities","author":"haugh","year":"2003","journal-title":"Proc Network and Distributed System Security Symp (NDSS)"},{"key":"ref2","article-title":"A first step towards automated detection of buffer overrun vulnerabilities","author":"wagner","year":"2000","journal-title":"Proc Network and Distributed System Security Symp (NDSS)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23644-0_7"},{"key":"ref1","article-title":"Buffer overflows: Attacks and defenses for the vulnerability of the decade","author":"cowan","year":"2000","journal-title":"Proc DARPA Information Survivability Conf and Exposition (DISCEX '00)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2007.363733"},{"journal-title":"Computer Systems A Programmer's Perspective","year":"2003","author":"bryant","key":"ref22"},{"journal-title":"Computer Organization and Design The Hardware\/Software Interface","year":"2008","author":"patterson","key":"ref21"},{"year":"2014","author":"processor","key":"ref24"},{"key":"ref23","article-title":"Opensparc: An open platform for hardware reliability experimentation","author":"parulkar","year":"2008","journal-title":"Proc Workshop Silicon Errors in Logic System Effects"},{"key":"ref26","article-title":"Backwards-compatible bounds checking for arrays and pointers in c programs","author":"jones","year":"1997","journal-title":"Proceedings of the Symposium on Automated and Analysis-Driven Debugging (AADEBUG'97)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"}],"event":{"name":"2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC)","start":{"date-parts":[[2016,1,9]]},"location":"Las Vegas, NV","end":{"date-parts":[[2016,1,12]]}},"container-title":["2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7435634\/7440162\/07444872.pdf?arnumber=7444872","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,24]],"date-time":"2016-09-24T10:17:44Z","timestamp":1474712264000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7444872\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/ccnc.2016.7444872","relation":{},"subject":[],"published":{"date-parts":[[2016,1]]}}}