{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T21:04:26Z","timestamp":1725915866495},"publisher-location":"Singapore","reference-count":9,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811068973"},{"type":"electronic","value":"9789811068980"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-981-10-6898-0_21","type":"book-chapter","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T08:35:04Z","timestamp":1510216504000},"page":"250-258","source":"Crossref","is-referenced-by-count":2,"title":["Opaque Predicate Detection by Static Analysis of Binary Executables"],"prefix":"10.1007","author":[{"given":"R. Krishna Ram","family":"Prakash","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. P.","family":"Amritha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Sethumadhavan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,10]]},"reference":[{"issue":"1","key":"21_CR1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/2886012","volume":"49","author":"S Schrittwieser","year":"2016","unstructured":"Schrittwieser, S., et al.: Protecting software through obfuscation: can it keep pace with progress in code analysis? ACM Comput. Surveys 49(1), 4 (2016)","journal-title":"ACM Comput. Surveys"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Banescu, S., Ochoa, M., Pretschner, A.: A frame- work for measuring software obfuscation resilience against automated attacks. In: 2015 IEEE\/ACM 1st International Workshop on Software Protection (SPRO), pp. 45\u201351. IEEE (2015)","DOI":"10.1109\/SPRO.2015.16"},{"key":"21_CR3","unstructured":"Breaking Down Binary Ninjas Low Level IL (2017). http:\/\/bit.ly\/binjaIL"},{"key":"21_CR4","unstructured":"Collberg, C.: Surreptitious Software. In: Opaque Predicates, pp. 246\u2013253 (2009)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11784180_9","volume-title":"Algebraic Methodology and Software Technology","author":"M Preda Dalla","year":"2006","unstructured":"Dalla Preda, M., Madou, M., De Bosschere, K., Giacobazzi, R.: Opaque predicates detection by abstract interpretation. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 81\u201395. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11784180_9"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-73368-3_52","volume-title":"Computer Aided Verification","author":"V Ganesh","year":"2007","unstructured":"Ganesh, V., Dill, D.L.: A decision procedure for bit-vectors and arrays. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 519\u2013531. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_52"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Ming, J. et al.: Loop: Logic-oriented opaque predicate detection in obfuscated binary code. In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, pp. 757\u2013768. ACM (2015)","DOI":"10.1145\/2810103.2813617"},{"key":"21_CR8","unstructured":"STP - Simple Theorem Prover (2008). https:\/\/github.com\/stp\/stp"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-319-45871-7_20","volume-title":"Information Security","author":"D Xu","year":"2016","unstructured":"Xu, D., Ming, J., Wu, D.: Generalized dynamic opaque predicates: a new control flow obfuscation method. In: Bishop, M., Nascimento, A.C.A. (eds.) ISC 2016. LNCS, vol. 9866, pp. 323\u2013342. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45871-7_20"}],"container-title":["Communications in Computer and Information Science","Security in Computing and Communications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-6898-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T22:17:22Z","timestamp":1570313842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-6898-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811068973","9789811068980"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-6898-0_21","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}