Publications related to Mutual authentication

Privacy Analysis of Forward and Backward Untraceable RFID Authentication Schemes

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

SenGuard: Passive User Identification on Smartphones Using Multiple Sensors

Jiangyan Yang, Feng Yang

User identification and access control have become a high demand feature on mobile devices because those devices are wildly used by employees in corporations and government agencies for business and store increasing amount of sensitive data. This paper des ...

2011

The Inconvenient Truth about Web Certificates

Jean-Pierre Hubaux, Julien Freudiger, Nevena Vratonjic, Vincent Bindschaedler

HTTPS is the de facto standard for securing Internet communications. Although it is widely deployed, the security provided with HTTPS in practice is dubious. HTTPS may fail to provide security for multiple reasons, mostly due to certificate-based authentic ...

2011

Spatio-temporal measurements and analysis of snow depth in a rock face

Michael Lehning

Snow in rock faces plays a key role in the alpine environment for permafrost distribution, snow water storage or runoff in spring. However, a detailed assessment of snow depths in steep rock walls has never been attempted. To understand snow distribution i ...

2011

Byzantine agreement with homonyms

Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert

So far, the distributed computing community has either assumed that all the processes of a distributed system have distinct identifiers or, more rarely, that the processes are anonymous and have no identifiers. These are two extremes of the same general mo ...

ACM Press2011

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

U-SBAS: A universal multi-SBAS standard to ensure compatibility, interoperability and interchangeability

Pierre-André Farine, Cyril Botteron, Aleksandar Jovanovic, Youssef Tawk

Several regional augmentation GNSS systems (like SBAS) are already fully operational and other are under development with new frequencies and signals on the way. Therefore, it becomes imperative to guarantee for all GNSS users the compatibility, interopera ...

IEEE2010

Secure communication using authenticated channels

Sylvain Pasini

Our main motivation is to design more user-friendly security protocols. Indeed, if the use of the protocol is tedious, most users will not behave correctly and, consequently, security issues occur. An example is the actual behavior of a user in front of an ...

EPFL2009

Statistical Decision Making for Authentication and Intrusion Detection

Christos Dimitrakakis, Aikaterini Mitrokotsa

User authentication and intrusion detection differ from standard classification problems in that while we have data generated from legitimate users, impostor or intrusion data is scarce or non-existent. We review existing techniques for dealing with this p ...

2009

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

Mutual authentication

Graph Chatbot

Chat with Graph Search

Privacy Analysis of Forward and Backward Untraceable RFID Authentication Schemes

SenGuard: Passive User Identification on Smartphones Using Multiple Sensors

The Inconvenient Truth about Web Certificates

Spatio-temporal measurements and analysis of snow depth in a rock face

Byzantine agreement with homonyms

Expected loss analysis of thresholded authentication protocols in noisy conditions

U-SBAS: A universal multi-SBAS standard to ensure compatibility, interoperability and interchangeability

Secure communication using authenticated channels

Statistical Decision Making for Authentication and Intrusion Detection

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

Privacy Analysis of Forward and Backward Untraceable RFID Authentication Schemes

Expected loss analysis of thresholded authentication protocols in noisy conditions

Secure communication using authenticated channels

The Inconvenient Truth about Web Certificates

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

Spatio-temporal measurements and analysis of snow depth in a rock face

Statistical Decision Making for Authentication and Intrusion Detection

U-SBAS: A universal multi-SBAS standard to ensure compatibility, interoperability and interchangeability

Byzantine agreement with homonyms

SenGuard: Passive User Identification on Smartphones Using Multiple Sensors