Franois Garillot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FC | Subset-Optimized BLS Multi-signature with Key Aggregation. | Foteini Baldimtsi, Konstantinos Kryptos Chalkias, Franois Garillot, Jonas Lindstrm, Ben Riva, Arnab Roy, Mahdi Sedaghat, Alberto Sonnino, Pun Waiwitlikhit, Joy Wang |
| 2021 | CRYPTO | Threshold Schnorr with Stateless Deterministic Signing from Standard Assumptions. | Franois Garillot, Yashvanth Kondi, Payman Mohassel, Valeria Nikolaenko |
| 2013 | ITP | A Machine-Checked Proof of the Odd Order Theorem. | Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Franois Garillot, Stphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Thry |
| 2006 | MFCS | A Core Calculus for Scala Type Checking. | Vincent Cremet, Franois Garillot, Sergue Lenglet, Martin Odersky |