Multi-Designated Verifiers Signatures:
Anonymity without Encryption. F. Laguillaumie, D. Vergnaud.
Information Processing Letters, Volume 102, Issues 2-3, 30 April 2007, 127-132 (2007) [ps.gz]
Aggregate Designated Verifier Signatures and
Application to Secure Routing. R. Bhaskar, J. Herranz and F.
Laguillaumie. International Journal of Security and
Networks, Special Issue on Cryptography in Networks, Vol. 1 (1/2/3) (2007)
Universal Forgery on Sekhar's Signature
Scheme with Message Recovery. F. Laguillaumie, J. Traoré, D. Vergnaud.
Taylor
& Francis - International Journal of Computer Mathematics, Vol. 81
(12), 1493-1495 (2004) [ps.gz]
International Conferences
Trapdoor Sanitizable Signatures and their Application to Content Protection. S. Canard, F. Laguillaumie, M. Milhau. Proc. of ACNS'08. Springer LNCS Vol. 5037, 256-276 (2008) Copyright Springer [ .pdf]
On the Soundness of Restricted Universal Designated Signatures and Dedicated Signatures - How to prove the possession of an Elgamal/DSA signature. F. Laguillaumie, D. Vergnaud. Proc. of ISC'07. Springer LNCS Vol. 4779, 175-188 (2007) Copyright Springer [ ps.gz]
Blind Ring Signatures Secure under the Chosen
Target CDH Assumption. J. Herranz, F. Laguillaumie.
Proc. of ISC'06. Springer LNCS Vol. 4176, 117-130 (2006) Copyright Springer [ps.gz]
Efficient Authentication for Reactive Routing Protocols.
R. Bhaskar, J. Herranz, F. Laguillaumie.
Proc. of AINA'06 (SNDS'06), Vol. II, IEEE Computer Society, 57-61 (2006) [ps.gz]
Universal Designated Verifier Signatures Without Random Oracles
or Non Black Box Assumptions. F. Laguillaumie, B. Libert, J.-J. Quisquater. Proc. of SCN'06. Springer LNCS Vol. 4116, 63-77 (2006) Copyright Springer [ps.gz]
Short Undeniable Signatures Without
Random
Oracles: the Missing Link. F. Laguillaumie, D. Vergnaud.
Proc. of Indocrypt'05. Springer LNCS Vol. 3797, 283-296 (2005). Copyright
Springer [ps.gz]
Universally
Convertible Directed
Signatures. F. Laguillaumie, P.
Paillier, D. Vergnaud. Proc. of Asiacrypt'05. Springer LNCS Vol. 3788,
682-701 (2005). Copyright IACR [ps.gz]
Time-Selective Convertible Undeniable
Signatures.
F. Laguillaumie, D. Vergnaud. Proc. of CT-RSA'05. Springer LNCS Vol.
3376, 154-171 (2005). Copyright Springer [ps.gz]
Designated Verifiers Signature:
Anonymity and
Efficient Construction from any Bilinear Map. F.
Laguillaumie, D. Vergnaud. Proc. of SCN'04, Springer LNCS Vol. 3352,
107-121 (2005).
Copyright Springer [ps.gz]
Multi-Designated Verifiers Signature
Schemes.
F. Laguillaumie, D. Vergnaud. Proc. of ICICS'04, Springer LNCS Vol.
3269, 495-507 (2004) Copyright Springer [ps.gz]
Extending the Boneh-Durfee-de Weger
attack to
RSA-like Cryptosystems. F. Laguillaumie, D. Vergnaud. Proc.
of the
24 th Symposium on Information Theory in the
Benelux, 45--52 (2003)
Technical Reports:
Efficient and Provably Secure Designated
Verifier Signature
Schemes from Bilinear Maps. F. Laguillaumie, D. Vergnaud.
Rapport
de
recherche LMNO n° 24 (2003)
Short Private Exponent Attacks on Fast
Variants of RSA. M.
Ciet, F. Koeune, F. Laguillaumie, J.-J. Quisquater : Technical Report
CG-2002/4, UCL
Crypto Group, Louvain-la-Neuve (2002)[pdf]
Talks:
06/04/08 : Trapdoor Sanitizable Signatures
and their Application to Content Protection, ACNS'08, New-York
04/10/08 : Signatures "caviars" et applications, Séminaire Protection de l'Information, Université Paris 8
11/10/07 : On the Soundness of Restricted Universal Designated Signatures and Dedicated Signatures, ISC'07, Valparaiso
06/11/07 : How to sign incognito, First Indo-French Workshop on Cryptography and Related Topics, Paris
06/04-07/07 : Lectures on Cryptology, Cryptology seminar, University Cadi Ayyad, Marrakech
11/21/06 : Signatures spéciales : application à
l'authentification du routage dans
les réseaux ad hoc (II), Séminaire Algo, Université de Caen
11/14/06 : Signatures spéciales : application à
l'authentification du routage dans
les réseaux ad hoc (I), Séminaire Algo, Université de Caen
08/30/06 : Blind Ring Signatures Secure under the Chosen-Target-CDH Assumption, ISC'06, Samos
02/14/06 : Signatures à vérification
contrôlée, Groupe de travail Arithmétique
Cryptographie Codage, Université de Limoges
02/10/06 : Signatures à vérification
contrôlée, Séminaire Cryptographie, Codes et
Algorithmique, ENSTA
02/03/06 : Signatures à vérification
contrôlée, Séminaire de Cryptographie
IRMAR/CELAR (Rennes)
01/24/06 : Signatures à vérification
contrôlée , Groupe de Travail Math/Info de
l'Université de Versailles St-Quentin-en-Yvelines
12/12/05 : Short Undeniable Signatures Without Random Oracles: the Missing Link, Indocrypt 2005, Bangalore
06/12/05 : Pairing-based Undeniable
Signatures and
Variants, PIC'05, Dublin
02/16/05 : Time-Selective Convertible
Undeniable
Signatures, RSA'05 - CT, San Francisco
09/08/04 : Designated Verifiers
Signature: Anonymity
and
Efficient Construction from any Bilinear Map,
SCN'04,
Amalfi
05/18/04 : Signatures à
vérificateur(s) désigné(s),
séminaire
Arithmétique,
Codage, Cryptographie de l'Université de Limoges
05/13/04 : Comment signer incognito
?,
séminaire Cryptographie de l'Université de Caen
04/29 /04 : Signatures à
vérificateur(s)
désigné(s),
séminaire Complexité et Cryptographie du GRECC (ENS)
04/08/04 : Signatures à
vérificateur
désigné basées sur les
pairings et leur généralisation , groupe de
travail
Cryptographie du
LIFAR (Rouen)
08/19/03 : Efficient and Provably
Secure
Designated Verifier Signature Schemes from Bilinear Maps,
Crypto'03 rump session, Santa Barbara
05/22/03 : Extending the
Boneh-Durfee-de Weger attack to RSA-like Cryptosystems,
Benelux IT
2003,
Veldhoven
02/18/03 : Arithmétique des
Suites de
Divisibilité
Elliptiques et Cryptographie, séminaire
Arithmétique,
Codage, Cryptographie de l'Université de Limoges
01/30/03 : Attaques sur les petits
exposants secrets
de
RSA, séminaire Cryptographie de l'Université
de Caen
01/08/03 : Pairings et
Cryptographie,
séminaire Sécurité des Services et Réseaux
(France Télécom R&D, Caen)
02/1302 : Courbes Elliptiques et
Cryptographie,séminaire
Sécurité des Services et Réseaux (France
Télécom R&D, Caen)
PhD thesis: On the security of pairing-based
signatures with controlled
verification (in french [ps.gz])
I did my PhD thesis under the supervision of Prof. E. Reyssat
at the LMNO (Université de Caen) and at France Telecom Research
and Development . I defended my PhD on the 29th of June, 2005. The
referees were
Jacques Stern - President (Prof. ENS)
Antoine Joux - Reviewer (Prof. Univ. of Versailles/DGA)
David Pointcheval - Reviewer (CR CNRS, ENS)
Thierry Berger (Prof. Univ. of Limoges)
Marc Girault (France Telecom R&D)
Eric Reyssat - Supervisor (Prof. Univ of Caen)
Brigitte Vallée (DR CNRS, Univ of Caen)
Abstract : To answer to the
increasing needs to secure communication systems, cryptology must
provide specific, flexible and efficient solutions. Crucial is the need
for authentication.
In this thesis, we analyse cryptographic primitives related to data
authentication. They differ from traditional digital signatures as they
can only be verified under the control of a specific entity and they
provide some anonymity properties.
We first deal with undeniable signatures and introduce a new property
in their definition, namely the time-selective conversion. We analyze
the security of several new schemes in the random oracle model, and we
propose simple undeniable signatures whose security can be proven in
the standard model. We also study a logical extension of undeniable
signatures, called directed signatures and we propose a new scheme and
its security in the random oracle model. Finally we develop the concept
of designated verifier signatures and provide a formal definition
of multi-designated verifiers signatures with a rigorous
treatment of the security model for such an extension. We also study an
anonymity property for the signer.
The signatures presented in this thesis are based on the Weil and Tate
pairings, recently introduced in cryptology. These bilinear
applications allow a degree of freedom to design cryptosystems, and
imply the bilinear variants of the classical Diffie-Hellman problem
upon which rely our new schemes. In particular we introduce from simple
observations the so-called ``$xyz$-trick'' and the ``$xyz$-DDH''
problem which make it possible to design cryptographic protocols
achieving a trade-off between authenticity and
privacy.