Session Video
Session slides
About this session
The security audit of Web 3 world is very much dependent on audit of smart contracts. The current market has huge challenges, which results in significant hacks. Looking at the maths behind the security audits and proposing mechanisms to remedy the situation.