A machine-checked proof of the odd order theorem G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ... International conference on interactive theorem proving, 163-179, 2013 | 505 | 2013 |
Packaging mathematical structures F Garillot, G Gonthier, A Mahboubi, L Rideau Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009 | 200 | 2009 |
State machine replication in the Libra Blockchain S Bano, M Baudet, A Ching, A Chursin, G Danezis, F Garillot, Z Li, ... https://developers.libra.org/docs/assets/papers/libra-consensus-state …, 2019 | 146* | 2019 |
A core calculus for Scala type checking V Cremet, F Garillot, S Lenglet, M Odersky Mathematical Foundations of Computer Science 2006: 31st International …, 2006 | 86 | 2006 |
The Libra Blockchain Z Amsden, R Arora, S Bano, M Baudet, S Blackshear, A Bothra, ... https://developers.libra.org/docs/assets/papers/the-libra-blockchain.pdf, 2019 | 65 | 2019 |
Simple types in type theory: Deep and shallow encodings F Garillot, B Werner International Conference on Theorem Proving in Higher Order Logics, 368-382, 2007 | 37 | 2007 |
Generic Proof Tools and Finite Group Theory F Garillot Ecole Polytechnique X, 2011 | 29* | 2011 |
Threshold schnorr with stateless deterministic signing from standard assumptions F Garillot, Y Kondi, P Mohassel, V Nikolaenko Advances in Cryptology–CRYPTO 2021: 41st Annual International Cryptology …, 2021 | 27 | 2021 |
Taming the many EdDSAs K Chalkias, F Garillot, V Nikolaenko Security Standardisation Research: 6th International Conference, SSR 2020 …, 2020 | 23 | 2020 |
Non-interactive half-aggregation of EdDSA and variants of Schnorr signatures K Chalkias, F Garillot, Y Kondi, V Nikolaenko Cryptographers’ Track at the RSA Conference, 577-608, 2021 | 19 | 2021 |
Statically typed document transformation: An Xtatic experience V Gapeyev, F Garillot, BC Pierce | 19 | 2005 |
Stream Processing with Apache Spark G Maas, F Garillot O'Reilly Media, 2019 | 14* | 2019 |
Subset-optimized bls multi-signature with key aggregation F Baldimtsi, KK Chalkias, F Garillot, J Lindstrom, B Riva, A Roy, ... Cryptology ePrint Archive, 2023 | 3 | 2023 |
Lurk: Lambda, the ultimate recursive knowledge N Amin, J Burnham, F Garillot, R Gennaro, D Rogozin, C Wong Cryptology ePrint Archive, 2023 | 3 | 2023 |
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) N Amin, J Burnham, F Garillot, R Gennaro, C Künzang, D Rogozin, ... Proceedings of the ACM on Programming Languages 7 (ICFP), 259-274, 2023 | | 2023 |
Scalable, secure, efficient, and adaptable distributed digital ledger transaction network ALK Ching, F Garillot, MJP Baudet, G Danezis, LI Zekun, D Perelman, ... US Patent App. 18/057,503, 2023 | | 2023 |