Publications related to Downgrade attack

On Selecting the Nonce Length in Distance-Bounding Protocols

Serge Vaudenay, Christos Dimitrakakis, Aikaterini Mitrokotsa

Distance-bounding protocols form a family of challenge–response authentication protocols that have been introduced to thwart relay attacks. They enable a verifier to authenticate and to establish an upper bound on the physical distance to an untrusted prov ...

2013

Synthetic Linear Analysis with Applications to CubeHash and Rabbit

Serge Vaudenay, Willi Meier, Yi Lu

In linear cryptanalysis, it has been considered most important and difficult to analyze the bias and find a large bias. The demonstration of a large bias will usually imply that the target crypto-system is not strong. Regarding the bias analysis, researche ...

2012

On the Pseudorandom Function Assumption in (Secure) Distance-Bounding Protocols

Serge Vaudenay, Aikaterini Mitrokotsa

In this paper, we show that many formal and informal security results on distance-bounding (DB) protocols are incorrect/incomplete. We identify that this inadequacy stems from the fact that the pseudorandom function (PRF) assumption alone, invoked in many ...

Springer2012

Privacy Analysis of Forward and Backward Untraceable RFID Authentication Schemes

Khaled Ouafi

In this paper, we analyze the first known provably secure Radio Frequency Identification (RFID) authentication schemes that are designed to provide forward untraceability and backward untraceability: the L-K and S-M schemes. We show how to trace tags in th ...

Springer Verlag2011

Traffic Anomaly Detection and Diagnosis on the Network Flow Level

Marc Philippe Stöcklin

Monitoring traffic events in computer network has become a critical task for operators to maintain an accurate view of a network's condition, to detect emerging security threats, and to safeguard the availability of resources. Conditions detrimental to a n ...

EPFL2011

Secure Neighbor Discovery and Ranging in Wireless Networks

Marcin Poturalski

This thesis addresses the security of two fundamental elements of wireless networking: neighbor discovery and ranging. Neighbor discovery consists in discovering devices available for direct communication or in physical proximity. Ranging, or distance boun ...

EPFL2011

Effectiveness of Distance-Decreasing Attacks Against Impulse Radio Ranging

Jean-Yves Le Boudec, Jean-Pierre Hubaux, Panagiotis Papadimitratos, Marcin Poturalski, Manuel Flury

We expose the vulnerability of an emerging wireless ranging technology, impulse radio ultra-wide band (IR-UWB), to distance-decreasing attacks on the physical communication layer (PHY). These attacks violate the security of secure ranging protocols that al ...

2010

Cryptanalysis of the full MMB block cipher

Jorge Nakahara, Yue Sun

The block cipher MMB was designed by Daemen, Govaerts and Vandewalle, in 1993, as an alternative to the IDEA block cipher. We exploit and describe unusual properties of the modular multiplication in

Z_{2^{32} - 1}

, which lead to a differential attack on ...

2009

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete

The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. In this paper, the (initial) secrecy problem for bounded protocols with freshness check is shown to be NEXPTIME-complete. Relating ...

2008

On the weak keys of Blowfish

Serge Vaudenay

Blowfish (Schneier, 1994) is a sixteen-rounds Feistel cipher (Feistel, 1973) in which the F function is a part of the private key. We show that the disclosure of F allows to perform a differential cryptanalysis which can recover all the rest of the key wit ...

1996

Downgrade attack

Graph Chatbot

Chat with Graph Search

On Selecting the Nonce Length in Distance-Bounding Protocols

Synthetic Linear Analysis with Applications to CubeHash and Rabbit

On the Pseudorandom Function Assumption in (Secure) Distance-Bounding Protocols

Privacy Analysis of Forward and Backward Untraceable RFID Authentication Schemes

Traffic Anomaly Detection and Diagnosis on the Network Flow Level

Secure Neighbor Discovery and Ranging in Wireless Networks

Effectiveness of Distance-Decreasing Attacks Against Impulse Radio Ranging

Cryptanalysis of the full MMB block cipher

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete

On the weak keys of Blowfish

On the Pseudorandom Function Assumption in (Secure) Distance-Bounding Protocols

Synthetic Linear Analysis with Applications to CubeHash and Rabbit

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete

Privacy Analysis of Forward and Backward Untraceable RFID Authentication Schemes

Traffic Anomaly Detection and Diagnosis on the Network Flow Level

Secure Neighbor Discovery and Ranging in Wireless Networks

Effectiveness of Distance-Decreasing Attacks Against Impulse Radio Ranging

Cryptanalysis of the full MMB block cipher

On the weak keys of Blowfish

On Selecting the Nonce Length in Distance-Bounding Protocols