🎉🎉 Happy to announce PolPatrol, an automated validator for testing the security of Polkadot relay chain runtimes. Work done in collaboration with the @web3foundation. ➡️ Code: github.com/ChainSecurity/… 📃 Docs: polpatrol.ch medium.com/chainsecurity/…

Thanks to the many who have helped along the way. It has been an incredible experience. I am excited about the possibilities in the new setup. So many new chances for pushing blockchain security to the next level. Feel free to reach out with questions or comments.

Thanks to @adrian_brink and Riccardo Spagni for a really nice panel. Hard to assemble better quality. I actually learnt a bunch of new things and had fun. Let's see which of the predictions will come true. Thanks to CV Labs & @_CV_VC_ for organizing.

📢 Announcing the release of Securify v2.0, which brings higher precision, improved scalability, fully declarative context-sensitive analysis, and support for 37 security properties. Securify v2.0 remains open-source and is freely available on GitHub. medium.com/chainsecurity/…

3/3 🤝 We’re delighted to be a part of this big milestone with PwC Switzerland and are excited to share the report with our community Available here: 👨‍🔬🧑‍🔬 audit.enzyme.finance

Solidity: uint128 b = .. uint256 x = uint256(b); uint256 y; assembly{ y := b } x == y? Sometimes... not. We are documenting a little known Solidity functionality and its changes in 0.8.0. TL;DR More ways to mess up in assembly. pwc.ch/en/insights/di…

Thanks a lot to samczsun and Paradigm CTF for the awesome challenges. Really had a great time and learned a lot. Your dedication to improving the ecosystem is extremely appreciated.

New Ethereum hardfork. New attack vector. That's why security work never becomes dull. 😉 Read the great analysis by Kenan Bešić from our team to make sure you know what's coming.