Jade Philipoom

According to our database, Jade Philipoom authored at least 7 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Towards ML-KEM & ML-DSA on OpenTitan.

Amin Abdulrahman, Felix Oberhansl, Hoang Nguyen Hien Pham, Jade Philipoom, Peter Schwabe, Tobias Stelzer, Andreas Zankl

Proceedings of the IEEE Symposium on Security and Privacy, 2025

2024

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq.

Jason Gross, Andres Erbsen, Jade Philipoom, Rajashree Agrawal, Adam Chlipala

J. Autom. Reason., September, 2024

Foundational Integration Verification of a Cryptographic Server.

Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, Adam Chlipala

Proc. ACM Program. Lang., 2024

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

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Accelerating Verified-Compiler Development with a Verified Rewriting Engine.

Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2019

Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises.

Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

2014

Streetscore - Predicting the Perceived Safety of One Million Streetscapes.

Nikhil Naik, Jade Philipoom, Ramesh Raskar, César A. Hidalgo

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2014