Folgen
François Garillot
François Garillot
Meta
Bestätigte E-Mail-Adresse bei garillot.net - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A machine-checked proof of the odd order theorem
G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ...
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013
4562013
Packaging Mathematical Structures.
F Garillot, G Gonthier, A Mahboubi, L Rideau
TPHOLs 5674, 327-342, 2009
1912009
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
106*2019
A core calculus for Scala type checking
V Cremet, F Garillot, S Lenglet, M Odersky
Mathematical Foundations of Computer Science 2006 4162, 1-23, 2006
892006
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
522019
Simple types in type theory: Deep and shallow encodings
F Garillot, B Werner
Theorem Proving in Higher Order Logics: 20th International Conference …, 2007
372007
Generic Proof Tools and Finite Group Theory
F Garillot
Ecole Polytechnique X, 2011
24*2011
Taming the many EdDSAs
K Chalkias, F Garillot, V Nikolaenko
Security Standardisation Research: 6th International Conference, SSR 2020 …, 2020
192020
Statically typed document transformation: An Xtatic experience
V Gapeyev, F Garillot, BC Pierce
Technical Reports (CIS), 61, 2005
192005
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
132021
Non-interactive half-aggregation of EdDSA and variants of Schnorr signatures
K Chalkias, F Garillot, Y Kondi, V Nikolaenko
Topics in Cryptology–CT-RSA 2021: Cryptographers’ Track at the RSA …, 2021
122021
Stream Processing with Apache Spark
G Maas, F Garillot
O'Reilly Media, 2019
8*2019
LURK: Lambda, the Ultimate Recursive Knowledge
N Amin, J Burnham, F Garillot, R Gennaro, D Rogozin, C Wong
Cryptology ePrint Archive, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13