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

التفاصيل البيبلوغرافية
العنوان: QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries
المؤلفون: Han, HyungSeok, Kyea, JeongOh, Jin, Yonghwi, Kang, Jinoh, Pak, Brian, Yun, Insu
المصدر: 2023 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2023 IEEE Symposium on. :3279-3295 May, 2023
Relation: 2023 IEEE Symposium on Security and Privacy (SP)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781665493369
تدمد:23751207
DOI:10.1109/SP46215.2023.10179314