Showing results 1 to 1 of 1
QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries Han, HyungSeok; Kyae, JungOh; Jin, Yonghwi; Kang, Jinoh; Pak, Brian; Yun, Insu, 44th IEEE Symposium on Security and Privacy 2023, pp.1116 - 1132, IEEE, 2023-05-24 |
Discover