Ghost
>|

I'm a Staff Security Engineer currently working at Block on bitcoin security. Previously, I wrote the firmware for Bitkey, secured self-driving cars at Waymo, and worked on hardware security for Square's payment terminals.

My work focuses on low-level systems, cryptography, and hardware.

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