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.
• Capable
  An experimental capability-secure systems language.
• hnk
  A semantic git diff viewer that groups related changes.
• LCARS
  A GitHub dashboard TUI.
• odo
  AI-driven vulnerability discovery; found hundreds of vulns.
• permacomputing
  Software for an uncertain future.

Publications

• BSidesSF 2025: Confidential Computing
  An overview on confidential computing technology. Slides
• Notion
  My Notion has a short blog section with recipes and CTF writeups.