复旦大学-杨广亮 - 复旦大学-杨广亮

yanggl@fudan.edu.cn

系统软件安全和可靠性研究组 The System Security & Reliability research group at Fudan University

新一代可证明内存安全语言“易安”：简洁+安全

4 0 1

复旦大学2026春编译课程Lab

4 0 0

莲花系统是复旦大学自主研发的多语言、高精度程序安全分析框架