Jiang Ming
Home
Publications
Teaching
Students
Services
Versatility
Contact
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
Cite
×