Qiaoyan Yu

Latest

• [S&P '25] Inspecting Virtual Machine Diversification Inside Virtualization Obfuscation
• [PLDI '21] Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions