All Auditors
Leonard Passos
Languages
No items found.
Domain Expertise
Stablecoins
Layer 1 Networks
Formal Verification
Wallets
Marketplaces
Top projects
No items found.
Work Experience
20
Years Experience
8
Years at Quantstamp
65
Audits Completed
Highlights
  • Performed 65+ security audits, including BeraChain, Casper, Cardano, Solana Runtime, Teku, Zora, and IDEX, helping to protect over 2 billion+ USD in TVL
  • Audited smart contracts in various languages, including Solidity, Teal, and Scilla, as well as auditing Rust and GoLang app chains
  • Formally verified KeeperDAO

Personal Research
  • Created his own LALR parser generator with automatic conflict resolution
  • Mined the Linux kernel repository (+ 10 million lines of code), extracting different maintenance patterns. Validated those patterns against other related systems
  • PhD in Computer Engineering from the University of Waterloo, with over 20 published papers and over 1100 citations
  • Bronze medal in a research competition sponsored by Microsoft Research