Seminar 更多
- [12-30] Uncertainty-wise Software Engineering
- [12-20]SKLCS seminar on 2 talks-“Proving that Programs are Differentially Private” “Quantitative information flow: when is one leak worse than another?”
- [12-18]Quantum Computing Engineering: Challenges and Opportunities
- [12-10]Compositional Techniques for the Verification of a Separation Micro-kernel for Multi-Core Architectures
- [11-14]SafeHidden: 通过持续随机化来确保信息隐藏的高效性和安全性
- [10-25]Software Engineering Issues in Cyber-Physical Systems