#4 计算机科学

苏黎世联邦理工学院

苏黎世, 瑞士创立于 1855112 研究员

机构简介

ETH Zurich的信息安全研究所是欧洲最重要的安全研究中心之一,在系统安全、软件安全和密码学领域产出了大量开创性研究成果。ETH以严谨的工程方法论著称。

使命愿景

通过系统化的安全研究方法,构建可证明安全的软件和系统,为数字社会提供坚实的安全基础。

研究领域

系统安全软件安全应用密码学网络安全程序分析形式化方法

核心实验室

系统安全实验室

负责人:Prof. Srdjan Capkun

物理层安全与定位

软件可靠性组

负责人:Prof. Martin Vechev

AI辅助程序安全分析

应用密码学组

负责人:Prof. Kenny Paterson

密码协议分析与设计

代表性论文

AI-Guided Vulnerability Discovery

CCS 2024

Physical Layer Security in 5G Networks

IEEE S&P 2024

Automated Smart Contract Verification

PLDI 2023

联系方式

官方网站
https://ethz.ch
电子邮箱
security@ethz.ch
联系电话
+41-44-632-1111
地址
Rämistrasse 101, 8092 Zürich, Switzerland

特色亮点

信息安全研究所
系统安全实验室
应用密码学组
软件可靠性组

合作伙伴

ABBCredit SuisseUBSSwisscomGoogle Zurich

寻求合作

ETH Zurich建立研究合作关系