Petar (www.ptsankov.com) is a scientific researcher the Software Reliability Lab (http://www.srl.inf.ethz.ch/) at ETH Zurich and a co-founder of ChainSecurity (http://chainsecurity.com/), a blockchain security startup based in Zurich, Switzerland. He completed his PhD in the area of automated security analysis at ETH Zurich in 2016. Before that, Petar studied computer science at Georgia Tech (USA), where he completed his bachelor’s degree. He has been working on automated security analysis of Ethereum smart contracts and general blockchain security topics for over a year now. For more information on projects and activities, have a look at http://chainpl.ethz.ch/
Redefining Smart Contract Audits
Security concerns have repeatedly shaken the trust in handling billions of USD in decentralized smart contracts. It has become clear that writing secure smart contracts is a significant challenge. In this talk, I will present the first push-button verification tool for Ethereum smart contracts that is fully automated, easily extensible to new security vulnerabilities, and provides strong security guarantees.