教师主页二维码
手机版
常用链接
- [1] 面向LLBC增强语言的Rust 编译和规约生成框架2026/01/01-2027/01/01
- [2] 基于Rust编译器验证的可组合内存安全研究2025/01/01-2026/12/01
- [3] CCF-华为胡杨林基金形式化专项项目-Rust核心语言机制的编译验证方法2023/10/01-2024/09/01
- [4] 基于通用开放语义的可组合编译器验证研究2024/01/01-2027/12/01
- [5] 系统软件平台端到端正确性的验证方法研究2021/01/01-2023/12/01
- [6] Formal End-to-End Verification of Information-Flow Security for Complex Systems2017/01/01-2020/12/01
- [7] A Higher-Order Framework for Meta-Theoretic Reasoning2016/01/01-2020/12/01
- [8] The Science of Deep Specification2016/01/01-2021/12/01
- [9] Space/Time Analysis for Cybersecurity2014/01/01-2019/12/01
- [10] Reasoning about Specifications of Computations2009/01/01-2014/12/01
| |