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

The Web3 foundation and the ICE center at ETH Zurich announce a research collaboration on the finality of consensus algorithms
Securify is integrated by Quantstamp to complement their suite of symbolic tools
What happens when computers program themselves?
Spotlight on Scientists at the European Parliament
Securify, our security scanning system for Ethereum Smart Contracts, appears on TechCrunch
AI programming tool DeepCode is Grammarly for developers

News

  • 01.12.18

    Web3 Research and the ICE center announce a research collaboration on security and correctness of the finality of consensus algorithms

  • 29.11.18

    Securify is integrated by the Quantstamp protocol to complement their suite of symbolic tools. Read the full details here.

  • 14.11.18

    ETH Robustness Analyzer for Deep Neural Nets (ERAN) released.

  • 15.10.18

    2 new NIPS’18 papers accepted.

  • 09.10.18

    Petar Tsankov wins the John Atanasoff Prize, awarded by the President of Bulgaria

  • 12.09.18

    DEBIN system to predict debug information in stripped binaries