Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis

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]

Authors

Yixiao Yang

This author has not been identified. Look up 'Yixiao Yang' in Google

Chen Gao

This author has not been identified. Look up 'Chen Gao' in Google

Zhiqi Li

This author has not been identified. Look up 'Zhiqi Li' in Google

Yifan Wang

This author has not been identified. Look up 'Yifan Wang' in Google

Rui Wang

This author has not been identified. Look up 'Rui Wang' in Google