Auditing and Formal Verification - Better together
Security auditing improves formal verification, and formal verification improves auditing. How should the two be used together? Certora's Mooly Sagiv explains in this lecture. Recorded 1/24/22
▶︎
Language Processing in Haskell, Simon Thompson
▶︎
Silo Formal Verification Contest: Repository Walkthrough
▶︎
Checking Specifications - What's the Quality of My Rules?
▶︎
Byte-Sized Briefing Webinar Series – Collect Less, Risk Less: Data Minimization in Practice
▶︎
Mastering Threat Modeling on Stellar: A Step-by-Step Security Blueprint for Soroban Smart Contracts
▶︎
How the World Misunderstands America
▶︎
Dive into Formal Verification - Prepare for Uniswap V4's $100K Competition!
▶︎
Agentic AI Workshop: Build Real Business Value (No Hype)
▶︎
I turned an old van into a 2-STORY tiny house
▶︎
How DeFi Hacks Have Changed in the Last 5 Years & What This Means for Protocols
▶︎
The Strange Math That Predicts (Almost) Anything
▶︎
Ex-Google Recruiter Explains Why "Lying" Gets You Hired
▶︎
Data Transfers Post Schrems Practical Considerations & Additional Safeguards
▶︎
Inside Anthropic, the $965 Billion AI Juggernaut | The Circuit
▶︎
Solana Wallet Security for Builders: Multi-Sig Best Practices & Operational Safety
▶︎
Der Todesstern ist völlig absurd
▶︎
Formal verification: A quick primer
▶︎
Building the PERFECT Linux PC with Linus Torvalds
▶︎
Something is jamming GPS over Europe. Here's what we found
▶︎