Correct-by-construction finite field arithmetic in Coq by Philipoom, Jade (Jade D.)

Get full text

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq by Gross, Jason, Erbsen, Andres, Philipoom, Jade, Agrawal, Rajashree, Chlipala, Adam

Get full text

Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises by Erbsen, Andres, Philipoom, Jade D., Gross, Jason S., Sloan, Robert Hal, Chlipala, Adam

Get full text

Simple High-Level Code For Cryptographic Arithmetic With Proofs, Without Compromises by Erbsen, Andres, Philipoom, Jade D., Gross, Jason S., Sloan, Robert Hal, Chlipala, Adam

Get full text

Relational Compilation for Performance-Critical Applications by Pit-Claudel, Cl?ment, Philipoom, Jade, Jamner, Dustin, Erbsen, Andres, Chlipala, Adam

Get full text

Streetscore -- Predicting the Perceived Safety of One Million Streetscapes by Raskar, Ramesh, Naik, Nikhil Deepak, Philipoom, Jade D., Hidalgo Ramaciotti, Cesar A.

Get full text
Get full text
Get full text
Get full text

Foundational Integration Verification of a Cryptographic Server by Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

Get full text