Security
Keeping contracts, protocols, treasuries, and keys safe.
2258 talks
- GrapheneOS Workshop: Secure by Design, Private by Default
- What You Sign Is What You Get: Ending Blind Signing with ERC-8009
- Defending Multisigs from Offensive AI: Introducing onchain security markets
- Formal Verification in Lean
- Everyone is thinking about VPNs wrong
- PQC: Post-Quantum Collaboration?
- Enshrined Payment Channels: A Stateless, Post-Quantum, Confidential Rollup Design
- leanSPHINCS: Signing for the long run
- Towards Formally Verified zkEVMs
- From Production Rust to Lean 4 Proofs: A Verification Pipeline
- Post-Quantum Accounts Today: Benchmarking Falcon-512 Verification Inside Starknet's `__validate__`
- Formally Verifying a Shielded Pool in Lean 4
- Steal Now, Reveal Never: The Quiet Arrival of Quantum Attacks
- LeanVM
- An update on Local Mixing (iO)
- Prisoners of Work: Can Proof-of-Work Detect Quantum Computers?
- Diamond iO: New Cryptanalysis and Efficiency Improvements
- Anonymity Is Censorship Resistance: Efficient Anonymous Broadcast Under Censorship
- Bug-Free Solidity Coding Agents
- FRIVail: A Data Availability Scheme based on FRI Binius
- Project Hummingbird - Minimal Images, Maximum Trust
- The DeFi Walkaway Test: Can Users Actually Leave?
- Challenges of Quantum-Safe Privacy on Ethereum
- Don't Review the Code: Formal Specs First Smart Contract Development