Release of VerX, the first functional verifier for Ethereum smart contracts.
Secure, Reliable, and Intelligent Systems Lab
The Secure, Reliable, and Intelligent Systems Lab (SRI) is a research group in the Department of Computer Science at ETH Zurich. We are also part of the ETH ICE center on interdisciplinary research. Our group works on topics spanning the intersection of artificial intelligence, automated reasoning and security. We have released various systems on these topics, widely used in both industry and academia, including JSNice, APK Deguard, PSI, Securify, Nice2Predict and others. Our research also led to two startups: DeepCode.ai and ChainSecurity. Please see our Research Projects and Publications to learn more.
In the Media
News
-
-
A new ICML’19 paper on combining deep learning and logic accepted.
-
Timon Gehr wins IBM PhD fellowship (1 out of 16 worldwide).
-
Is AI coming for your coding job? Intervew with Martin Vechev, read it here.
-
Artificial intelligence put to the test - interview with Martin Vechev for Horizonte, the Swiss research magazine
-
ChainSecurity prevents a serious security issue in Ethereum’s planned upgrade: CoinDesk Forbes MIT tech review ZDNet