LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Published in In the proceedings of International Conference on Functional Programming, 2023
Pre-print available at IACR
Publications
Subset-Optimized BLS Multi-signature with Key Aggregation
Published in The IACR, 2023
Preprint available at IACR
Threshold Schnorr with Stateless Deterministic Signing from Standard Assumptions
Published in In the proceedings of Advances in Cryptology -- CRYPTO 2021, 2021
Pre-print available at IACR
Non-interactive Half-Aggregation of EdDSA and Variants of Schnorr Signatures
Published in In the proceedings of Topics in Cryptology -- CT-RSA 2021, 2021
Preprint available at IACR
Download here
Taming the Many EdDSAs
Published in In the proceedings of Security Standardisation Research, 2020
Preprint available at IACR
Download here
Stream Processing with Apache Spark
Published in O'Reilly Media, 2019
The book I co-wrote with Gérard Maas! I recommend finding a copy at your local book store.
Download here
The Libra Blockchain
Published in The Diem Association, 2019
You can find a lot more information on Diem on the developer website.
Download here
State machine replication in the Libra Blockchain
Published in The Diem Association, 2019
You can find a lot more information on Diem on the developer website.
Download here
A machine-checked proof of the odd order theorem
Published in In the proceedings of International Conference on Interactive Theorem Proving, 2013
Technical report accessible on HAL
Download here
Generic Proof Tools and Finite Group Theory
Published in Ecole Polytechnique X, 2011
My PhD Thesis work. If you're interested, you'll also want to dig into some older academic talks listed on my webpage at the ENS.
Download here
Packaging mathematical structures
Published in In the proceedings of International Conference on Theorem Proving in Higher Order Logics, 2009
Technical report available on HAL
Download here
Simple types in type theory: Deep and shallow encodings
Published in In the proceedings of International Conference on Theorem Proving in Higher Order Logics, 2007
Download here
A core calculus for Scala type checking
Published in In the proceedings of International Symposium on Mathematical Foundations of Computer Science, 2006
Technical report available on HAL
Download here
Statically Typed Document Transformation: An Xtatic Experience
Published in In the proceedings of PLAN-X, 2006
Technical report version available at UPenn
Download here