Published inLatticeFlowSBB adopts AI to improve railway maintenanceLatticeFlow collaborates with SBB, Siemens, and ETH to enable safe, efficient, and cost-effective AI-based railway maintenanceMar 3, 2021Mar 3, 2021
Published inChainSecurityRelease of Securify v2.0We are happy to announce Securify v2.0, the new release of the popular security scanner for Ethereum smart contracts. Securify v2.0…Jan 23, 2020Jan 23, 2020
Published inChainSecurityVerX: Full functional verification for Ethereum contracts, now at your fingertipsChainSecurity, an ETH Zurich spin-off, is happy to announce VerX, the first automated verifier for certifying custom functional…Apr 24, 20193Apr 24, 20193
Published inChainSecuritySOLTIX: Scalable testing of Solidity compilersWe are happy to release SOLTIX, a scalable framework for automated testing of Solidity compilers.Mar 22, 2019Mar 22, 2019
Published inChainSecurityHow Securify pinpoints unsafe calls in smart contractsThe implementation of the recently proposed ERC827 token standard has a critical security issue: it allows any user to call any function in…Jul 16, 20182Jul 16, 20182
Published inChainSecurityFull version of Securify, a state-of-the-art security scanner for Ethereum, available nowToday we are happy to release https://securify.chainsecurity.com, a new automated security scanner for Ethereum smart contracts.Jul 2, 20181Jul 2, 20181
