Professionals hack people, not systems | Pablo Sabbatella (Opsek)

Prompts Aren’t (Good) Specs: Correctness in the LLM Era

Providing Ground Truth for LLM-Based Bug Detection Tools Using Slither MCP

Quentin Garchery, Protocol researcher, Morpho Labs – Formally verifying Morpho

RISC Zero Security Deep Dive: Architecture, Risks, and Review Methodology

Raising the Bar: Security Leadership for Mass Adoption