D-INFK news channel
All stories that have been tagged with ICE - Center for programmable and dependable networked systems
ChainSecurity is taken over by PwC Switzerland
- ICE - Center for programmable and dependable networked systems
- Spin-off
- News
- Security
- Secure, Reliable, and Intelligent Systems Lab
The team from ChainSecurity AG, an ETH spin-off from the Department of Computer Science, joined PricewaterhouseCoopers (PwC) Switzerland to further accelerate market growth and product development.
New scanner for smart contracts
- Spotlight
- Spin-off
- Security
- Secure, Reliable, and Intelligent Systems Lab
- ICE - Center for programmable and dependable networked systems
- Careers
- Front – Spotlight
- Centres
- Institute for Programming Languages and Systems
In June 2018, the start-​up ChainSecurity released Securify, a novel tool that enables an easier and more thorough scanning process for smart contracts in the Ethereum ecosystem. Dr Petar Tsankov, chief scientist at ChainSecurity and research scientist at ETH Secure, Reliable, and Intelligent Systems Lab at the Department of Computer Science, gives an insight into the novel technology and its benefits.