- [1] CCF-华为胡杨林基金形式化专项项目-Rust核心语言机制的编译验证方法2023/10/01-2024/09/01
- [2] 基于通用开放语义的可组合编译器验证研究2024/01/01-2027/12/01
- [3] 系统软件平台端到端正确性的验证方法研究2021/01/01-2023/12/01
- [4] Formal End-to-End Verification of Information-Flow Security for Complex Systems2017/01/01-2020/12/01
- [5] A Higher-Order Framework for Meta-Theoretic Reasoning2016/01/01-2020/12/01
- [6] The Science of Deep Specification2016/01/01-2021/12/01
- [7] Space/Time Analysis for Cybersecurity2014/01/01-2019/12/01
- [8] Reasoning about Specifications of Computations2009/01/01-2014/12/01
|