Hubert Ritzdorf speaks about automatic auditing of smart contracts, why almost all smart contracts have bugs, specs of smart contracts, the hacks of the Parity wallet, skills necessary to hack smart contracts, why hacking smart contracts is easier than hacking web servers, GDPR and blockchains, challenges for smart contract platforms, being a blockchain entrepreneur in Switzerland, why he avoided an ICO for his own company, and much more. Hubert is the co-founder and CTO of ChainSecurity, a start-up focussed on mathematical proofs for smart contract security. He has been working on application security for more than 10 years and on blockchain security for more than six years, he has a PhD from ETH Zurich, and his research influenced the underlying Bitcoin protocol and the main Ethereum client implementation. Hubert Ritzdorf: https://twitter.com/HRitzdorf, https://medium.com/@HRitzdorf ChainSecurity: https://chainsecurity.com, https://twitter.com/chain_security The Blockchain and Us newsletter To stay up to date about what blockchain pioneers, innovators and entrepreneurs from all around the world think about the future of this space, sign up for the newsletter.