François Garillot
François Garillot
Facebook
Adresse e-mail validée de garillot.net - Page d'accueil
Titre
Citée par
Citée par
Année
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
4122013
Packaging mathematical structures
F Garillot, G Gonthier, A Mahboubi, L Rideau
International Conference on Theorem Proving in Higher Order Logics, 327-342, 2009
1712009
A core calculus for Scala type checking
V Cremet, F Garillot, S Lenglet, M Odersky
International Symposium on Mathematical Foundations of Computer Science, 1-23, 2006
872006
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
58*2019
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
392019
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
202011
Statically typed document transformation: An Xtatic experience
V Gapeyev, F Garillot, BC Pierce
Technical Reports (CIS), 61, 2005
192005
Taming the many EdDSAs
K Chalkias, F Garillot, V Nikolaenko
International Conference on Research in Security Standardisation, 67-90, 2020
62020
Stream Processing with Apache Spark
G Maas, F Garillot
O'Reilly Media, 2019
3*2019
Generic Proof Tools and Finite Group Theory.(Outils génériques de preuve et théorie des groupes finis)
F Garillot
32011
Non-interactive Half-Aggregation of EdDSA and Variants of Schnorr Signatures.
K Chalkias, F Garillot, Y Kondi, V Nikolaenko
IACR Cryptol. ePrint Arch. 2021, 350, 2021
22021
Threshold Schnorr with Stateless Deterministic Signing from Standard Assumptions
F Garillot, Y Kondi, P Mohassel, V Nikolaenko
Annual International Cryptology Conference, 127-156, 2021
2021
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
2021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–14