机构简介
剑桥大学计算机实验室是世界上最古老的计算机科学研究机构之一，在安全协议形式化验证、硬件安全和安全芯片设计方面享有盛誉。剑桥与ARM公司有着深厚的合作历史。
使命愿景
通过严谨的理论研究和工程实践，推动计算机安全科学的发展，特别是在硬件安全和形式化方法领域。
研究领域
形式化验证硬件安全芯片安全协议分析能力安全系统安全
核心实验室
安全工程研究组
负责人：Prof. Ross Anderson
CHERI项目组
负责人：Prof. Simon Moore
形式化验证组
负责人：Prof. Lawrence Paulson
代表性论文
CHERI: Capability Hardware Enhanced RISC
ISCA 2024
Formal Verification of TLS 1.3
IEEE S&P 2023
Security Economics of the Internet of Things
WEIS 2023
联系方式
联系电话
+44-1223-337733地址
The Old Schools, Trinity Lane, Cambridge CB2 1TN, UK特色亮点
计算机实验室
安全工程研究组
ARM合作实验室
CHERI项目
合作伙伴
ARMGoogle DeepMindMicrosoft ResearchGCHQNCSC
寻求合作
与Cambridge建立研究合作关系