Publications related to Cryptographic protocol

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

Optimal Revocations in Ephemeral Networks: A Game-Theoretic Framework

Jean-Pierre Hubaux, Maxime Raya, Igor Bilogrevic

Revocation of public-key certificates is an important security primitive. In this paper, we design a fully distributed local certificate revocation scheme for ephemeral networks - a class of extremely volatile wireless networks with short-duration and shor ...

IEEE2010

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language CAPSL. We define a translation from CAPSL models into interpreted systems, a popular semantics for temporal-epistemic logic, and r ...

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

Compilation Method for the Verification of Temporal-Epistemic Properties of Cryptographic Protocols

We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language CAPSL. Our work is based on model checking multi-agent systems against properties given in AI logics. We present PC2IS, a compiler ...

2009

User-Aided Data Authentication

Sylvain Pasini

All classical authentication protocols are based on pre-shared authentic information such as long-term secret keys or a public key infrastructure. However, there are many practical settings, where participants can additionally employ authentic Out-Of-Band ...

2009

On the security of 1024-bit RSA and 160-bit elliptic curve cryptography

Arjen Lenstra, Joppe Willem Bos, Thorsten Kleinjung, Marcelo Kaihara

Meeting the requirements of NIST’s new cryptographic standard ‘Suite B Cryptography’ means phasing out usage of 1024-bit RSA and 160-bit Elliptic Curve Cryptography (ECC) by the year 2010. This write-up comments on the vulnerability of these systems to an ...

2009

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

Analysis and design of symmetric cryptographic algorithms

Jean-Philippe Aumasson

This thesis is concerned with the analysis and design of symmetric cryptographic algorithms, with a focus on real-world algorithms. The first part describes original cryptanalysis results, including: The first nontrivial preimage attacks on the (reduced) h ...

EPFL2009

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

Cryptographic protocol

Graph Chatbot

Chat with Graph Search

Expected loss analysis of thresholded authentication protocols in noisy conditions

Optimal Revocations in Ephemeral Networks: A Game-Theoretic Framework

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

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

Compilation Method for the Verification of Temporal-Epistemic Properties of Cryptographic Protocols

User-Aided Data Authentication

On the security of 1024-bit RSA and 160-bit elliptic curve cryptography

Smashing SQUASH-0

Analysis and design of symmetric cryptographic algorithms

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

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

Compilation Method for the Verification of Temporal-Epistemic Properties of Cryptographic Protocols

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

On the security of 1024-bit RSA and 160-bit elliptic curve cryptography

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

Analysis and design of symmetric cryptographic algorithms

Optimal Revocations in Ephemeral Networks: A Game-Theoretic Framework

User-Aided Data Authentication

Smashing SQUASH-0

Expected loss analysis of thresholded authentication protocols in noisy conditions