Qilong Zheng

Latest

• [USENIX Security '21] MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation
• [PLDI '21] Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions