Warning
Here is my publications list.
Please note that some versions available from here may differ from their
publication form and that the published versions are in general copyright
from the publisher (check on the corresponding links).
- Dissertations
- PhD:
The Security of
Cryptographic Primitives
- Habilitation to Supervise Research:
Towards a Theory of
Symmetric Encryption
- Books
- Exercices book, Dunod:
Algorithmique et
optimisation: exercices corrigés
- Textbook on cryptography, Springer:
A Classical Introduction to Cryptography
- Applications for Communications Security (external URL)
- Exercise book on cryptography, Springer:
A Classical Introduction to
Cryptography - Exercise Book (external URL)
- Proceedings
- LNCS volume:
Fast Software Encryption' 98 (external URL)
- LNCS volume:
Selected Areas in Cryptography' 01 (external URL)
- LNCS volume:
Public Key Cryptography' 05 (external URL)
- LNCS volume:
Mycrypt' 05 (external URL)
- LNCS volume:
EUROCRYPT' 06 (external URL)
- LNCS volume:
AFRICACRYPT' 08 (external URL)
- Translations
- Stinson's book (1st Edition), ITP:
Cryptographie
Théorie et Pratique
- Stinson's book (2nd Edition), Vuibert:
Cryptographie
Théorie et Pratique
- Prefaces
- Martin's book, PPUR:
Codage, Cryptographie et Applications
(external URL)
- Journal of Cryptology (published by Springer-Verlag)
- JoC 97:
The Security of the
Birational Permutation Signature Schemes
- JoC 98:
Black Box
Cryptanalysis of Cryptographic Primitives
- JoC 01:
Cryptanalysis of the
Chor-Rivest Cryptosystem
- JoC 03:
Decorrelation: a
Theory for Block Cipher Security
- JoC 08:
Cryptanalysis of an
E0-like Combiner with Memory
- Other Journals
- CIS 01:
Decorrelation over
Infinite Domains: the Encrypted CBC-MAC Case
- MC2R 03:
Cryptography with
Guardian Angels: Bringing Civilization to Pirates - Abstract
- IPL 05:
Generating Anomalous
Elliptic Curves
- IPL 07:
How to Safely Close a
Discussion
- J. of Physics 07:
About
Machine-Readable Travel Documents
- Security & Privacy 07:
E-Passport Threats
- Crypto Series (published as Springer-Verlag's LNCS volumes)
- Crypto' 92:
FFT-Hash-II is not yet
Collision-Free
- Crypto' 93:
Attacks on the
Birational Permutation Signature
- Crypto' 96:
Hidden Collisions on
DSS
- Crypto' 98:
Cryptanalysis of the
Chor-Rivest Cryptosystem
- Crypto' 03:
Password Interception
in a SSL/TLS Channel
- Crypto' 04:
Faster Correlation
Attack on Bluetooth E0 Keystream Generator
- Crypto' 05:
Secure Communications
over Insecure Channels Based on Short Authenticated Strings
- Crypto' 05:
The Conditional
Correlation Attack: A Practical Attack on Bluetooth Encryption
- Eurocrypt Series (published as Springer-Verlag's LNCS volumes)
- Eurocrypt' 94:
Links between
Differential and Linear Cryptanalysis
- Eurocrypt' 94:
Complexity Trade-Offs with the Digital Signature Standard
- Eurocrypt' 94:
Black Box
Cryptanalysis of Hash Networks based on Multipermutations
- Eurocrypt' 99:
Resistance Against
General Iterated Attacks
- Eurocrypt' 02:
Security Flaws Induced
by CBC Padding --- Applications to SSL, IPSEC, WTLS...
- Eurocrypt' 09:
Smashing SQUASH-0
- Asiacrypt Series (published as Springer-Verlag's LNCS volumes)
- Asiacrypt' 96:
Authenticated
Multi-Party Key Agreement
- Asiacrypt' 96:
Minding your p's and
q's
- Asiacrypt' 99:
On the Lai-Massey
Scheme
- Asiacrypt' 00:
On the
Pseudorandomness of Top-Level Schemes of Block Ciphers
- Asiacrypt' 04:
Generic Homomorphic
Undeniable Signatures
- Asiacrypt' 04:
Cryptanalysis of
Bluetooth Keystream Generator Two-level E0
- Asiacrypt' 04:
How Far Can We Go
Beyond Linear Cryptanalysis?
- Asiacrypt' 07:
On Privacy Models for
RFID
- Asiacrypt' 09:
On the Security of
HB# against a Man-in-the-Middle Attack
- Fast Software Encryption Series
(published as Springer-Verlag's LNCS volumes)
- Fse' 93:
Parallel
FFT-Hashing
- Fse' 94:
On the Need for
Multipermutations: Cryptanalysis of MD4 and SAFER
- Fse' 96:
On the Weak Keys of
Blowfish
- Fse' 97:
xmx -
a Firmware-Oriented Block Cipher based on Modular Multiplications
- Fse' 98:
CS-Cipher
- Fse' 99:
On the Security of
CS-Cipher
- Fse' 00:
A Statistical Attack
on RC6
- Fse' 03:
Optimal Key Ranking
Procedures in a Statistical Cryptanalysis
- Selected Areas on Cryptography (SAC) Series
(published as Springer-Verlag's LNCS volumes)
- Sac' 98:
Feistel Ciphers with
L_2-Decorrelation
- Sac' 99:
Adaptive-Attack Norm
for Decorrelation and Super-Pseudorandomnes
- Sac' 99:
A Universal Encryption
Standard
- Sac' 00:
Decorrelation over
Infinite Domains: the Encrypted CBC-MAC Case
- Sac' 00:
DFCv2
- Sac' 03:
On the Use of
GF-Inversion as a Cryptographic Primitive
- Sac' 04:
FOX: a new Family of
Block Ciphers
- Sac' 04:
Perfect Diffusion
Primitives for Block Ciphers
- Sac' 05:
Proving the Security
of AES Substitution-Permutation Network
- Sac' 06:
When Stream Cipher
Analysis Meets Public-Key Cryptography
- Sac' 07:
Passive-Only Key
Recovery Attacks on RC4
- Sac' 07:
Linear Cryptanalysis
of Non Binary Ciphers
- Public Key Cryptography (PKC) Series
(published as Springer-Verlag's LNCS volumes)
- Pkc' 00:
Design Validations for
Discrete Logarithm Based Signature Schemes
- Pkc' 03:
The Security of DSA
and ECDSA
- Pkc' 04:
Undeniable Signatures
Based on Characters
- Pkc' 06:
SAS-Based
Authenticated Key Agreement
- Other Series Published as Springer-Verlag's LNCS Volumes
- Information Hiding' 96:
The Newton Channel
- Financial Cryptography' 97:
SVP: a Flexible
Micropayment Scheme
- Cardis' 98:
Decorrelated Fast
Cipher: an AES Candidate well suited for Low Cost Smart Cards Applications
- Stacs' 98:
Provable Security for
Block Ciphers by Decorrelation
- Icisc' 99:
On Provable Security
for Conventional Cryptography
- Ches' 00:
Efficient Generation
of Prime Numbers
- Wisa' 03:
Fair Exchange with
Guardian Angels
- Acisp' 04:
Digital Signature
Schemes with Domain Parameters
- Acisp' 04:
Optimistic Fair
Exchange based on Publicly Verifiable Secret Sharing
- Icics' 04:
On someWeak Extensions
of AES and BES
- Isc' 05:
Chaum's Designated
Confirmer Signature Revisited
- Mycrypt' 05:
Optimization of the
MOVA Undeniable Signature Scheme
- Cisc' 05:
On Bluetooth
Repairing: Key Agreement based on Symmetric-Key Cryptography
- Cisc' 05:
Enforcing Email
Addresses Privacy using Tokens
- Ct-rsa' 06:
An Optimal
Non-Interactive Message Authentication Protocol
- Icisc' 06:
RFID Privacy based on
Public-Key Cryptography
- Acisp' 07:
TCHo: a
Hardware-Oriented Trapdoor Cipher
- Acisp' 07:
Hash-and-Sign with
Weak Hashing Made Secure
- Icisc' 07:
Security-Preserving
Asymmetric Protocol Encapsulation
- Icits' 08:
The Complexity of
Distinguishing Distributions
- Iwcc' 09:
On the Impossibility
of Strong Encryption over aleph0
- Ches' 09:
On
Tamper-Resistance from a Theoretical Viewpoint: The Power of Seals
- Acns' 09:
Efficient Deniable
Authentication for Signatures, Application to Machine-Readable Travel
Document
- Other Conference Proceedings
- Eurocode' 92:
One-Time
Identification with Low Memory
- Acm ccs' 96:
An Experiment on DES -
Statistical Cryptanalysis
- AES Submission, Extended Abstract:
Decorrelated Fast
Cipher: an AES Candidate
- Report for the AES2 Workshop:
Report on the AES
Candidates
- Report for the AES2 Workshop:
DFC Update
- Santha's crypto get together' 03:
On Measuring
Resistance to Linear Cryptanalysis
- Yacc' 04:
How to Sign with One
Bit
- Sec' 05:
The Pairing Problem
with User Interaction
- Bsym' 06:
A Protection Scheme
for MoC-Enabled Smart Cards
- Rfid sec' 07:
About
Machine-Readable Travel Documents
- Asiaccs' 08:
Mutual Authentication
in RFID: Security and Privacy
- Rfid sec' 09:
Pathchecker: An RFID
Application for Tracing Products in Supply-Chains
- Biosig' 09:
The Extended Access
Control for Machine Readable Travel Documents
- Miscellaneaous
- Technical Report:
On Provable Security
for Digital Signature Algorithms
- Rump Session of Asiacrypt'96 (unpublished):
On the Security of
Lenstra's DSA Variant
- Technical Report:
Provable Security for
Block Ciphers by Decorrelation
- Official Comment of AES:
Comparison of the
Randomness Provided by Some AES Candidates
- Technical Report:
CBC Padding:
Security Flaws in SSL, IPSEC, WTLS, ...
- Technical Report:
FOX Specifications
Version 1.1
- Technical Report:
FOX Specifications
Version 1.2
Joint work with David M'Raihi, David Naccache and Dan Raphaeli
In Advances in Cryptology EUROCRYPT'94, Perugia, Italy,
Lecture Notes
in Computer Science No. 950, pp. 77-85,
Springer-Verlag, 1995.
The Digital Signature Algorithm (DSA) was proposed in 1991 by the US National
Institute of Standards and Technology to provide an appropriate core for
applications requiring digital signatures. Undoubtelly, many applications will
include this standard in the future and thus, the foreseen domination of DSA as
legal certification tool is sufficiently important to focus research endeavours
on the suitability of this scheme to various situations. In this paper, we
present six new DSA-based protocols for: performing a quick batch-verification
of n signatures; avoiding the cumbersome calculation of 1/k mod q by the signer;
compressing sets of DSA transactions into shorter archive signatures;
generating signatures from pre-calculated "Use & Throw" 224-bit
signature-coupons; self-certifying the moduli and bit-patterning directly q
on p. All our schemes combine in a natural way full DSA compatibility and
flexible trade-offs between computational complexity, transmission overheads
and key sizes.
Serge Vaudenay