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]
@inproceedings{PrakashAS17,
title = {Opaque Predicate Detection by Static Analysis of Binary Executables},
author = {R. Krishna Ram Prakash and P. P. Amritha and M. Sethumadhavan},
year = {2017},
doi = {10.1007/978-981-10-6898-0_21},
url = {https://doi.org/10.1007/978-981-10-6898-0_21},
researchr = {https://researchr.org/publication/PrakashAS17},
cites = {0},
citedby = {0},
pages = {250-258},
booktitle = {Security in Computing and Communications - 5th International Symposium, SSCC 2017, Manipal, India, September 13-16, 2017, Proceedings},
editor = {Sabu M. Thampi and Gregorio Martínez Pérez and Carlos Becker Westphall and Jiankun Hu and Chun-I. Fan and Félix Gómez Mármol},
volume = {746},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-981-10-6898-0},
}