QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries

Presented at IEEE Symposium on Security and Privacy 44 by

Insu Yun

Brian Pak

Yonghwi Jin

Hyungseok Han

JeongOh Kyea

Jinoh Kang