学院动态more

• 网安学院在编程语言安全领域取得突破，浙大首次在TOPLAS期刊发表论文...2021-03-03
• 任奎教授当选2020国际计算机学会会士（ACM Fellow）...2021-01-15
• 浙大网安和蚂蚁金服联合发布《人工智能白皮书（2020）》...2020-12-29
• 2020网络空间安全西湖在线论坛成功举办...2020-12-03
• 浙大网安团队，香港城市大学和阿里巴巴研究团队共同合作的最新研究成果“HybrIDX”获荣获ICDCS 2020唯一最佳论文奖...2020-11-29
• 网络空间安全研究中心获批六项国家自然科学基金项目...2020-09-22
• 第六届浙江大学研究生暑期学校（AI安全）圆满落幕...2020-09-04
• 浙江大学网络空间安全团队研究成果发表于 2020 年 Asiacrypt 会议...2020-08-20

图片新闻more

网安学院在编程语言安全领域取得突破，浙大首次在TOPLAS期刊发表论文

2021年2月，浙江大学网络空间安全学院的论文CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee发表于《ACM Transactions on Programming Languages and...

任奎教授当选2020国际计算机学会会士（ACM Fellow）

近日，国际计算机学会 (Association for Computing Machinery , 简称 ACM)正式公布了2020年ACM Fellow名单， 浙江大学网络空间安全学院院长、计算机科学与技术学院副院...

学术会议more

• IDSC 2019: The 2019 IEEE Conference on Dependable and Secure Computing
• 2019 网络空间安全西湖国际论坛
• APSys 2019: 10th ACM SIGOPS Asia-Pacific Workshop on Systems
• 2019 浙江大学物联网夏令营
• 2019 网络安全多方计算国际论坛
• 2018 网络空间安全西湖国际论坛

讲座预告more