Security
Keeping contracts, protocols, treasuries, and keys safe.
2258 talks
- Hiding Network Metadata: Introduction to Mixnets
- Oops, Your EOA Has Code Now: How EIP-7702 Broke Ethereum's Old Security Assumptions
- Formal Verification of Consensus Protocols in Lean
- You can't withdraw your privacy: PQ analysis of Kohaku privacy protocols
- leanSPHINCS for developers: how to build on Post-Quantum Ethereum
- evm-asm: Experiences Writing the EVM, Directly in Risc-V Assembly
- A Yellow Paper you can run: an independent executable EVM spec in Lean 4
- From vanity to poison: the evolution of address poisoning attacks
- Design for the Compromised Signer: Bounding Blast Radius in Smart Accounts
- Trash Piracy: an Opsec Case Study
- The Michelin Guide for CROPS
- Beyond the Johnson Bound: A Path to Smaller Post-Quantum SNARKs
- Etheorem: Lean 4 Consensus-Spec Proofs
- Lattice-based Post-Quantum Stealth Address Protocol
- Beyond Clear Signing: What Else Should Wallets Do?
- PQ Ethereum Q&A
- Training for Constraining: How to Prevent Circuit-Level Bugs
- Wallets and software supply chain security
- hs-libp2p: A Haskell Implementation of the libp2p Stack
- Security Through Clearing: The Timelock Model
- What does it take to trust a transaction end to end?
- Post-Quantum Multi-Factor Wallet Designed for Humans
- Building a company without Google Workspace
- Getting Ethereum Signer running on open-source operating system and chip