François Garillot

According to our database, François Garillot authored at least 12 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report).

Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong

Proc. ACM Program. Lang., August, 2023

Subset-optimized BLS Multi-signature with Key Aggregation.

Foteini Baldimtsi, Konstantinos Kryptos Chalkias, François Garillot, Jonas Lindstrøm, Ben Riva, Arnab Roy, Alberto Sonnino, Pun Waiwitlikhit, Joy Wang

IACR Cryptol. ePrint Arch., 2023

LURK: Lambda, the Ultimate Recursive Knowledge.

Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong

IACR Cryptol. ePrint Arch., 2023

2021

Threshold Schnorr with Stateless Deterministic Signing from Standard Assumptions.

François Garillot, Yashvanth Kondi, Payman Mohassel, Valeria Nikolaenko

IACR Cryptol. ePrint Arch., 2021

Non-interactive half-aggregation of EdDSA and variants of Schnorr signatures.

Konstantinos Chalkias, François Garillot, Yashvanth Kondi, Valeria Nikolaenko

IACR Cryptol. ePrint Arch., 2021

2020

Taming the many EdDSAs.

Konstantinos Chalkias, François Garillot, Valeria Nikolaenko

IACR Cryptol. ePrint Arch., 2020

2013

A Machine-Checked Proof of the Odd Order Theorem.

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

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011

Generic Proof Tools and Finite Group Theory. (Outils génériques de preuve et théorie des groupes finis).

François Garillot

PhD thesis, 2011

2009

Packaging Mathematical Structures.

François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2007

Simple Types in Type Theory: Deep and Shallow Encodings.

François Garillot, Benjamin Werner

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

2006

Statically Typed Document Transformation: An Xtatic Experience.

Vladimir Gapeyev, François Garillot, Benjamin C. Pierce

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

A Core Calculus for Scala Type Checking.

Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006