{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:17:26Z","timestamp":1730211446598,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,1,8]]},"DOI":"10.1109\/csp51677.2021.9357495","type":"proceedings-article","created":{"date-parts":[[2021,2,25]],"date-time":"2021-02-25T21:27:22Z","timestamp":1614288442000},"page":"123-128","source":"Crossref","is-referenced-by-count":0,"title":["A Partial-Lifting-Based Compiling Concolic Execution Approach"],"prefix":"10.1109","author":[{"given":"Haotian","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Weiyu","family":"Dong","sequence":"additional","affiliation":[]},{"given":"Jian","family":"Lin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"72","article-title":"Design of a retargetable decompiler for a static platform-independent malware analysis","author":"?urfina","year":"0","journal-title":"International Conference on Information Security and Assurance"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"journal-title":"American Fuzzy Lop","year":"0","author":"zalewski","key":"ref12"},{"journal-title":"Hex-Rays Decompiler","year":"2013","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1961296.1950396"},{"key":"ref15","first-page":"380","article-title":"Unleashing mayhem on binary code","author":"kil cha","year":"0","journal-title":"2012 IEEE Symposium on Security and Privacy"},{"journal-title":"Bap A Binary Analysis Platform","year":"2011","author":"brumley","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180251"},{"key":"ref19","first-page":"209","article-title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"cristian","year":"2008","journal-title":"OSDI"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.21236\/ADA484701"},{"journal-title":"Dart Directed automated random testing","year":"2009","author":"sen","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/390005.801219"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"ref2","first-page":"745","article-title":"{QSYM}: A practical concolic execution engine tailored for hybrid fuzzing","author":"yun","year":"0","journal-title":"27th USENIX Security Symposium ( USENIX Security 18)"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/267580.267590","article-title":"Software unit test coverage and adequacy","volume":"29","author":"hong","year":"1997","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"ref9","article-title":"Symbolic execution with symcc: Don't interpret, compile!","author":"poeplau","year":"0","journal-title":"USENIX Security Symposium 2020"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23294"}],"event":{"name":"2021 IEEE 5th International Conference on Cryptography, Security and Privacy (CSP)","start":{"date-parts":[[2021,1,8]]},"location":"Zhuhai, China","end":{"date-parts":[[2021,1,10]]}},"container-title":["2021 IEEE 5th International Conference on Cryptography, Security and Privacy (CSP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9357511\/9357565\/09357495.pdf?arnumber=9357495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,26]],"date-time":"2021-04-26T23:23:02Z","timestamp":1619479382000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9357495\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,8]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/csp51677.2021.9357495","relation":{},"subject":[],"published":{"date-parts":[[2021,1,8]]}}}