Yixiao Yang, Chen Gao, Zhiqi Li, Yifan Wang, Rui Wang. Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis. In Holger Hermanns, Jun Sun 0001, Lei Bu, editors, Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings. Volume 14464 of Lecture Notes in Computer Science, pages 351-367, Springer, 2023. [doi]
@inproceedings{YangGLWW23,
title = {Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis},
author = {Yixiao Yang and Chen Gao and Zhiqi Li and Yifan Wang and Rui Wang},
year = {2023},
doi = {10.1007/978-981-99-8664-4_20},
url = {https://doi.org/10.1007/978-981-99-8664-4_20},
researchr = {https://researchr.org/publication/YangGLWW23},
cites = {0},
citedby = {0},
pages = {351-367},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings},
editor = {Holger Hermanns and Jun Sun 0001 and Lei Bu},
volume = {14464},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-981-99-8664-4},
}