我的研究兴趣主要聚焦于以下方向：软件分析，特别是系统软件测试、分析与安全等相关方向；面向深度学习的安全，如数据集属性保护、模型信息保护等方向。
- Graph Neural Network for Mathematical Reasoning:EMNLP 2021
- NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Net: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
暂无内容
暂无内容