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 live in Germany and currently work as a security engineer at zeroRISC. Sometimes I write things 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:
Right now I mostly work on opentitan, an open-source hardware root of trust. The hardware design, the software that runs on our processors, and the software that we use to test and interact with the hardware from other machines are all available on GitHub. My primary role is to implement and test the bare-metal cryptography code that runs on the device using various hardware accelerators. My favorite is the big-number accelerator, but don't tell the other accelerators I said so. I've been working full-time on opentitan since 2021, first at Google and then at zeroRISC.
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.
Towards ML-KEM & ML-DSA on OpenTitan. Amin Abdulrahman, Felix Oberhansl, Hoang Nguyen Hien Pham, Jade Philipoom, Peter Schwabe, Tobias Stelzer, Andreas Zankl. Preprint.
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.