How to Infiltrate a Web3 Project: The Hitchhikers Guide for Aspiring Black Hats!

Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts

Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs)

Introduction to SEAL | samczsun

Jack Sanford, Co-Founder of Sherlock Protocol – The Unreasonable Effectiveness of Audit Contests

Jack Sanford, Co-Founder, Sherlock – Critical Bugs Found in Audit Contests vs. Traditional Audits