Petar TsankovinLatticeFlowSBB 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
Petar TsankovinChainSecurityRelease 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
Petar TsankovinChainSecurityVerX: 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
Petar TsankovinChainSecuritySOLTIX: Scalable testing of Solidity compilersWe are happy to release SOLTIX, a scalable framework for automated testing of Solidity compilers.Mar 22, 2019Mar 22, 2019
Petar TsankovinChainSecurityHow 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
Petar TsankovinChainSecurityFull 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