R. Krishna Ram Prakash, P. P. Amritha, M. Sethumadhavan. Opaque Predicate Detection by Static Analysis of Binary Executables. In Sabu M. Thampi, Gregorio Martínez Pérez, Carlos Becker Westphall, Jiankun Hu, Chun-I. Fan, Félix Gómez Mármol, editors, Security in Computing and Communications - 5th International Symposium, SSCC 2017, Manipal, India, September 13-16, 2017, Proceedings. Volume 746 of Communications in Computer and Information Science, pages 250-258, Springer, 2017. [doi]