{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:46:12Z","timestamp":1729626372668,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/cicybs.2013.6597207","type":"proceedings-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T16:24:33Z","timestamp":1379607873000},"page":"59-66","source":"Crossref","is-referenced-by-count":5,"title":["Applications of computational intelligence for static software checking against memory corruption vulnerabilities"],"prefix":"10.1109","author":[{"given":"Marcos","family":"Alvares","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tshilidzi","family":"Marwala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando Buarque","family":"de Lima Neto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1002\/9780470512517"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.24"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICTM.2009.5413103"},{"journal-title":"Principles of Program Analysis","year":"2004","author":"nielson","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2009.22"},{"key":"13","article-title":"Smt solvers for software security","author":"vanegue","year":"2012","journal-title":"USENIX Workshop on Offensive Technologies (WOOT)"},{"key":"14","article-title":"Vulnerability extrapolation: Assisted discovery of vulnerabilities using machine learning","author":"yamaguchi","year":"2011","journal-title":"USENIX Conference"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84800-017-9","author":"simon","year":"2008","journal-title":"Value-range Analysis of C Programs Towards Proving Theabsenceof Buffer Overflow Vulnerabilities"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.10.004"},{"journal-title":"Genetic Algorithms in Search Optimization and Machine Learning","year":"1989","author":"goldberg","key":"21"},{"key":"20","doi-asserted-by":"crossref","first-page":"2646","DOI":"10.1109\/ICSMC.2008.4811695","article-title":"A novel search algorithm based on fish school behavior","author":"bastos filho","year":"2008","journal-title":"2008 IEEE International Conference on Systems Man and Cybernetics IEEE"},{"journal-title":"Practical Genetic Algorithms","year":"2004","author":"haupt","key":"22"},{"key":"23","article-title":"Computer security technology planning study","volume":"2","author":"anderson","year":"1972","journal-title":"AFIPS Joint Computer Conferences"},{"key":"24","article-title":"Smashing the stack for fun and profit","volume":"49","author":"one","year":"1996","journal-title":"Phrack"},{"key":"25","article-title":"Exploiting dlmalloc frees in 2009","volume":"66","author":"huku","year":"2009","journal-title":"Phrack"},{"journal-title":"Myth and Reality on Control System Security Revealed by Stuxnet","year":"0","author":"miyachi","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.67"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2002.1004369"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6120048"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2005.17"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/WOCN.2009.5010550"},{"journal-title":"Assuring Software Security Against Buffer Overflow Attacks in Embedded Software Development Life Cycle","year":"0","author":"park","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CW.2011.49"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227248"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CSEET.2012.22"}],"event":{"name":"2013 IEEE Symposium on Computational Intelligence in Cyber Security (CICS)","start":{"date-parts":[[2013,4,16]]},"location":"Singapore, Singapore","end":{"date-parts":[[2013,4,19]]}},"container-title":["2013 IEEE Symposium on Computational Intelligence in Cyber Security (CICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588697\/6597196\/06597207.pdf?arnumber=6597207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T22:12:06Z","timestamp":1498083126000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6597207\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/cicybs.2013.6597207","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}