Publications by Serge Vaudenay

Cryptanalysis of reduced-round MIBS Block cipher

Serge Vaudenay, Jorge Nakahara, Asli Bay

This paper presents the first independent and systematic lin- ear, differential and impossible-differential (ID) cryptanalyses of MIBS, a lightweight block cipher aimed at constrained devices such as RFID tags and sensor networks. Our contributions include ...

Springer2010

ARMADILLO: A Multi-purpose Cryptographic Primitive Dedicated to Hardware

Serge Vaudenay, Stéphane Badel, Pouyan Sepehrdad, Nilay Dagtekin, Khaled Ouafi, Jorge Nakahara, Petr Susil

This paper describes and analyzes the security of a general-purpose cryptographic function design, with application in RFID tags and sensor networks. Based on these analyzes, we suggest minimum parameter values for the main components of this cryptographic ...

Springer2010

Expected loss analysis of thresholded authentication protocols in noisy conditions

Serge Vaudenay, Christos Dimitrakakis, Aikaterini Mitrokotsa

A number of authentication protocols have been proposed recently, where at least some part of the authentication is performed during a phase, lasting

n

rounds, with no error correction. This requires assigning an acceptable threshold for the number of de ...

2010

Methods for efficient certificate revocation list compression

Serge Vaudenay, Imad Aad, Valtteri Niemi, Rafik Chaabouni, Atefeh Mashatan

A method for providing efficient management of certificate revocation may comprise storing a list of identifiers of digital certificates including a revocation list defining a list of revoked certificates in an accumulator, storing a witness value in assoc ...

2010

Smashing SQUASH-0

Serge Vaudenay, Khaled Ouafi

At the RFID Security Workshop 2007, Adi Shamir presented a new challenge-response protocol well suited for RFIDs, although based on the Rabin public-key cryptosystem. This protocol, which we call SQUASH-0, was using a linear mixing function which was subse ...

Springer2009

Efficient Deniable Authentication for Signatures, Application to Machine-Readable Travel Document

Serge Vaudenay, Jean Monnerat, Sylvain Pasini

Releasing a classical digital signature faces to privacy issues. Indeed, there are cases where the prover needs to authenticate some data without making it possible for any malicious verifier to transfer the proof to anyone else. It is for instance the cas ...

Springer Berlin / Heidelberg2009

On the Impossibility of Strong Encryption over \aleph_{0}

Serge Vaudenay

We give two impossibility results regarding strong encryption over an infinite enumerable domain. The first one relates to statistically secure one-time encryption. The second one relates to computationally secure encryption resisting adaptive chosen ciphe ...

Springer Berlin / Heidelberg2009

On Privacy Losses in the Trusted Agent Model (Abstract)

Serge Vaudenay

Tamper-proof devices are pretty powerful. They typically make security applications simpler (provided that the tamper-proof assumption is not violated). For application requiring privacy, we observe that some properties may become harder (if possible at al ...

2009

Pathchecker: An RFID application for tracing products in Supply-chains

Serge Vaudenay, Khaled Ouafi

In this paper, we present an application of RFIDs for supply-chain management. In our application, we consider two types of readers. On one part, we have readers that will mark tags at given points. After that, these tags can be checked by another type of ...

2009

On Tamper-Resistance from a Theoretical Viewpoint: The Power of Seals

Serge Vaudenay

Tamper-proof devices are pretty powerful. They can be used to have better security in applications. In this work we observe that they can also be maliciously used in order to defeat some common privacy protection mechanisms. We propose the theoretical mode ...

Springer2009

Serge Vaudenay

Graph Chatbot

Chat with Graph Search

Cryptanalysis of reduced-round MIBS Block cipher

ARMADILLO: A Multi-purpose Cryptographic Primitive Dedicated to Hardware

Expected loss analysis of thresholded authentication protocols in noisy conditions

Methods for efficient certificate revocation list compression

Smashing SQUASH-0

Efficient Deniable Authentication for Signatures, Application to Machine-Readable Travel Document

On the Impossibility of Strong Encryption over \aleph_{0}

On Privacy Losses in the Trusted Agent Model (Abstract)

Pathchecker: An RFID application for tracing products in Supply-chains

On Tamper-Resistance from a Theoretical Viewpoint: The Power of Seals

Cryptanalysis of reduced-round MIBS Block cipher

ARMADILLO: A Multi-purpose Cryptographic Primitive Dedicated to Hardware

Smashing SQUASH-0

Methods for efficient certificate revocation list compression

Expected loss analysis of thresholded authentication protocols in noisy conditions

Efficient Deniable Authentication for Signatures, Application to Machine-Readable Travel Document

On the Impossibility of Strong Encryption over \aleph_{0}

On Tamper-Resistance from a Theoretical Viewpoint: The Power of Seals

On Privacy Losses in the Trusted Agent Model (Abstract)

Pathchecker: An RFID application for tracing products in Supply-chains