Hi, my name is Jade. Thanks for visiting my corner of the internet. Please accept a cup of virtual tea (I only have oat milk, hope that's okay) and make yourself at home.
I am currently taking a few months off from working before returning to graduate school to for a PhD after several years in industry.
Most recently, I worked as an applied cryptographer at ZeroRISC and sometimes wrote about my work on the ZeroRISC blog.
To email me, use my first name at this domain.
You can find most code I've written on github. Generally, my projects focus on some combination of:
From 2021-2026, first at Google and then at ZeroRISC, my primary project was cryptographic code and security design for an open-source hardware root of trust. Originally I worked on opentitan. ZeroRISC forked the project in 2025, after which I worked on the fork. I wrote large portions of the device cryptographic library, bare-metal code which interacts with the various hardware accelerators to implement various cryptographic algorithms both securely and efficiently (I hope).
Another notable project of mine is fiat-crypto (nothing to do with cryptocurrency, we named it a long time ago and I am sorry). I was involved from 2015-2020 as part of Adam Chlipala's group at MIT CSAIL. I also made some sporadic later contributions. Long story short, it is a formally verified compiler that takes in elliptic curve and target platform parameters and spits out efficient code for low-level (finite field arithmetic) operations on that curve. This is useful because those low-level operations are crucial for both performance and security, and formal proofs ensure the complex optimizations that make them fast don't introduce bugs. Your browser probably ran code from fiat-crypto to access this site.
I am a co-organizer of the High Assurance Systems Engineering (HASE) workshop series since 2025.
Towards ML-KEM & ML-DSA on OpenTitan. Amin Abdulrahman, Felix Oberhansl, Hoang Nguyen Hien Pham, Jade Philipoom, Peter Schwabe, Tobias Stelzer, Andreas Zankl. IEEE S&P 2025.
Foundational Integration Verification of a Cryptographic Server. Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, Adam Chlipala. PLDI 2024.
A note on SPHINCS+ parameter sets. Stefan Kölbl, Jade Philipoom. 5th NIST PQC Standardization Conference, 2024.
Accelerating Verified-Compiler Development with a Verified Rewriting Engine. Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala. ITP 2022.
Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code. Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala. PLDI 2022.
Simple High-level Code for Cryptographic Arithmetic -- with Proofs, without Compromises. Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala. IEEE S&P 2019.
Correct-by-construction Finite Field Arithmetic in Coq. Jade Philipoom. Master's thesis, 2018.
How To Minimize Bugs in Cryptography Code (39c3, 2025) video slides
Migrating a Silicon Root of Trust to Post Quantum Crypto (Real World Cryptography, 2026) slides