François Garillot

16 papers B 3Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
Subset-Optimized BLS Multi-signature with Key Aggregation.
FC (2)
Foteini Baldimtsi, Konstantinos Kryptos Chalkias, François Garillot, Jonas Lindstrøm, Ben Riva, Arnab Roy, Mahdi Sedaghat, Alberto Sonnino, Pun Waiwitlikhit, Joy Wang
2023 J jnl
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report).
Proc. ACM Program. Lang.
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong
2023 J jnl
LURK: Lambda, the Ultimate Recursive Knowledge.
IACR Cryptol. ePrint Arch.
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong
2023 J jnl
Subset-optimized BLS Multi-signature with Key Aggregation.
IACR Cryptol. ePrint Arch.
Foteini Baldimtsi, Konstantinos Kryptos Chalkias, François Garillot, Jonas Lindstrøm, Ben Riva, Arnab Roy, Alberto Sonnino, Pun Waiwitlikhit, Joy Wang
2021 B conf
Non-interactive Half-Aggregation of EdDSA and Variants of Schnorr Signatures.
CT-RSA
Konstantinos Chalkias, François Garillot, Yashvanth Kondi, Valeria Nikolaenko
2021 J jnl
Non-interactive half-aggregation of EdDSA and variants of Schnorr signatures.
IACR Cryptol. ePrint Arch.
Konstantinos Chalkias, François Garillot, Yashvanth Kondi, Valeria Nikolaenko
2021 — conf
Threshold Schnorr with Stateless Deterministic Signing from Standard Assumptions.
CRYPTO (1)
François Garillot, Yashvanth Kondi, Payman Mohassel, Valeria Nikolaenko
2021 J jnl
Threshold Schnorr with Stateless Deterministic Signing from Standard Assumptions.
IACR Cryptol. ePrint Arch.
François Garillot, Yashvanth Kondi, Payman Mohassel, Valeria Nikolaenko
2020 — conf
Taming the Many EdDSAs.
SSR
Konstantinos Chalkias, François Garillot, Valeria Nikolaenko
2020 J jnl
Taming the many EdDSAs.
IACR Cryptol. ePrint Arch.
Konstantinos Chalkias, François Garillot, Valeria Nikolaenko
2013 B conf
A Machine-Checked Proof of the Odd Order Theorem.
ITP
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
2011 — —
Generic Proof Tools and Finite Group Theory. (Outils génériques de preuve et théorie des groupes finis).
François Garillot
2009 — conf
Packaging Mathematical Structures.
TPHOLs
François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau
2007 — conf
Simple Types in Type Theory: Deep and Shallow Encodings.
TPHOLs
François Garillot, Benjamin Werner
2006 B conf
A Core Calculus for Scala Type Checking.
MFCS
Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky
2006 — conf
Statically Typed Document Transformation: An Xtatic Experience.
PLAN-X
Vladimir Gapeyev, François Garillot, Benjamin C. Pierce