#1 计算机科学

麻省理工学院 (MIT)

剑桥, 美国创立于 1861156 研究员

机构简介

麻省理工学院是全球领先的科技研究型大学,其计算机科学与人工智能实验室(CSAIL)在网络安全、密码学和AI安全领域拥有顶尖的研究团队。MIT安全研究团队与Google、Microsoft、Amazon等科技巨头保持深度合作,研究成果广泛应用于全球互联网基础设施安全。

使命愿景

通过卓越的研究和教育,推动计算机安全科学的边界,培养下一代安全领袖,保护数字世界的安全与隐私。

研究领域

密码学网络安全AI安全隐私计算区块链系统安全

核心实验室

CSAIL安全组

负责人:Prof. Shafi Goldwasser

密码学与安全协议

AI安全实验室

负责人:Prof. Aleksander Madry

对抗机器学习与鲁棒AI

网络安全研究组

负责人:Prof. Nickolai Zeldovich

系统安全与形式化验证

代表性论文

Formal Verification of Smart Contracts

IEEE S&P 2024

Privacy-Preserving Machine Learning at Scale

USENIX Security 2024

Adversarial Robustness in Deep Learning

NeurIPS 2023

联系方式

电子邮箱
security@mit.edu
联系电话
+1-617-253-1000
地址
77 Massachusetts Ave, Cambridge, MA 02139, USA

特色亮点

CSAIL实验室
密码学研究中心
AI安全实验室
网络安全研究组

合作伙伴

GoogleMicrosoftAmazonIBMMeta

寻求合作

MIT建立研究合作关系