Publications related to Systematic design of a family of attack-resistant authentication protocols

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

Design and Performance of Secure Geocast for Vehicular Communication

Panagiotis Papadimitratos

The characteristics of vehicular communication environments and their networking and application requirements have led to the development of unique networking protocols. They enable vehicle-to-vehicle and vehicle-to-infrastructure communication based on th ...

2010

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

Obfuscation for Cryptographic Purposes

Martijn Stam

Loosely speaking, an obfuscation O of a function f should satisfy two requirements: firstly, using O, it should be possible to evaluate f; secondly, O should not reveal anything about f that cannot be learnt from oracle access to f alone. Several definitio ...

Springer Verlag2010

Biometrics & [and] Security

Claude Barral

Since the beginning of this brand new century, and especially since the 2001 Sept 11 events in the U.S, several biometric technologies are considered mature enough to be a new tool for security. Generally associated to a personal device for privacy protect ...

EPFL2010

Model Checking Detectability of Attacks in Multiagent Systems

Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicability. We introduce a taxonomy of detectability specifications expressed in tem ...

International Foundation for Autonomous Agents and Multiagent Systems2010

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

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

Adaptive Message Authentication for Vehicular Networks

Jean-Yves Le Boudec, Jean-Pierre Hubaux, Nikodin Ristanovic, Panagiotis Papadimitratos, Georgios Theodorakopoulos

Public key cryptography can introduce significant processing delays in vehicular communication platforms. This can lead to serious performance issues, especially in the case of multi-hop Inter-Vehicle Communication. In this paper we propose Adaptive Messag ...

Sheridan Printing2009

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

Systematic design of a family of attack-resistant authentication protocols

Graph Chatbot

Chat with Graph Search

ARMADILLO: A Multi-purpose Cryptographic Primitive Dedicated to Hardware

Design and Performance of Secure Geocast for Vehicular Communication

Expected loss analysis of thresholded authentication protocols in noisy conditions

Obfuscation for Cryptographic Purposes

Biometrics & [and] Security

Model Checking Detectability of Attacks in Multiagent Systems

Secure communication using authenticated channels

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

Adaptive Message Authentication for Vehicular Networks

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

ARMADILLO: A Multi-purpose Cryptographic Primitive Dedicated to Hardware

Expected loss analysis of thresholded authentication protocols in noisy conditions

Design and Performance of Secure Geocast for Vehicular Communication

Obfuscation for Cryptographic Purposes

Model Checking Detectability of Attacks in Multiagent Systems

Biometrics & [and] Security

Secure communication using authenticated channels

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

Adaptive Message Authentication for Vehicular Networks

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