Solidity under the hood | Raoul Schaffranek (Runtime Verification)

State of Fuzzing: Closing the Circle From Machine to Human and Back

Statically Safe: Proving Security with Semantic Queries

Stopping Multisig MEV with Harbour

Storage Proofs Done Wrong: a Case Study

storm0x, Contributor in Security and Core Development, Yearn – Risk Management Approach to Security