- Graph Neural Network for Mathematical Reasoning:EMNLP 2021
- NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network:EMNLP 2020: Findings
- Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions:PLDI 2021
- Software Obfuscation with Non-Linear Mixed Boolean-Arithmetic Expressions:ICICS 2021
- MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation:USENIX Security 2021
| |