Follow
François Garillot
François Garillot
Lurk Lab
Verified email at garillot.net - Homepage
Title
Cited by
Cited by
Year
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
4942013
Packaging mathematical structures
F Garillot, G Gonthier, A Mahboubi, L Rideau
Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009
1982009
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
140*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
862006
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
642019
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
372007
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
262021
Taming the many EdDSAs
K Chalkias, F Garillot, V Nikolaenko
Security Standardisation Research: 6th International Conference, SSR 2020 …, 2020
212020
Statically typed document transformation: An Xtatic experience
V Gapeyev, F Garillot, BC Pierce
192005
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
182021
Stream Processing with Apache Spark
G Maas, F Garillot
O'Reilly Media, 2019
14*2019
Lurk: Lambda, the ultimate recursive knowledge
N Amin, J Burnham, F Garillot, R Gennaro, D Rogozin, C Wong
Cryptology ePrint Archive, 2023
32023
Subset-optimized bls multi-signature with key aggregation
F Baldimtsi, KK Chalkias, F Garillot, J Lindstrom, B Riva, A Roy, ...
Cryptology ePrint Archive, 2023
22023
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
The system can't perform the operation now. Try again later.
Articles 1–16