QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries (to appear)

Publication
Proceedings of the 44th IEEE Symposium on Security and Privacy (Oakland)