Jade Philipoom

11 papers A* 3B 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Towards ML-KEM & ML-DSA on OpenTitan.
SP
Amin Abdulrahman, Felix Oberhansl, Hoang Nguyen Hien Pham, Jade Philipoom, Peter Schwabe, Tobias Stelzer, Andreas Zankl
2024 J jnl
Foundational Integration Verification of a Cryptographic Server.
Proc. ACM Program. Lang.
Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, Adam Chlipala
2024 J jnl
Towards ML-KEM & ML-DSA on OpenTitan.
IACR Cryptol. ePrint Arch.
Amin Abdulrahman, Felix Oberhansl, Hoang Nguyen Hien Pham, Jade Philipoom, Peter Schwabe, Tobias Stelzer, Andreas Zankl
2024 J jnl
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq.
J. Autom. Reason.
Jason Gross, Andres Erbsen, Jade Philipoom, Rajashree Agrawal, Adam Chlipala
2023 J jnl
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq.
CoRR
Jason Gross, Andres Erbsen, Jade Philipoom, Rajashree Agrawal, Adam Chlipala
2022 B conf
Accelerating Verified-Compiler Development with a Verified Rewriting Engine.
ITP
Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala
2022 J jnl
Accelerating Verified-Compiler Development with a Verified Rewriting Engine.
CoRR
Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala
2022 A* conf
Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code.
PLDI
Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala
2020 J jnl
Simple High-Level Code For Cryptographic Arithmetic: With Proofs, Without Compromises.
ACM SIGOPS Oper. Syst. Rev.
Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala
2019 A* conf
Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises.
IEEE Symposium on Security and Privacy
Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala
2014 — conf
Streetscore - Predicting the Perceived Safety of One Million Streetscapes.
CVPR Workshops
Nikhil Naik, Jade Philipoom, Ramesh Raskar, César A. Hidalgo