Software

• Bitkey Firmware
  Embedded software for Block's self-custody, multisig, hardware wallet.
• Picocert
  A header-only library for tiny certs, for resource constrained devices.
• Secure Enclave ZK
  An anonymous-credential demo using macOS Secure Enclave and Longfellow zero-knowledge proofs.
• Capable
  An experimental capability-secure systems language.
• Minimal IFC Agent
  An experimental coding agent with information-flow control.
• Seal
  A Neovim interface for coding agents, with inline previews and patch review.
• odo
  AI-driven vulnerability discovery; found hundreds of vulns.
• permacomputing
  Software for an uncertain future.

Publications

• Open Source AI Summit 2026: Securing Open Source Software
  A panel on AI-assisted vulnerability discovery.
• Project Loupe
  AI-powered vuln finding for the good of bitcoin OSS.
• BSidesSF 2025: Confidential Computing
  An overview on confidential computing technology. Slides
• Self-custody without Hardware Paper
  A novel self-custody bitcoin wallet design.
• Notion
  My Notion has a short blog section with recipes and CTF writeups.