Publications related to Kerberos (protocol)

Secure Computing with the MPEG RVC Framework

Marco Mattavelli, Richard Thavot, Junaid Jameel Ahmad

Recently, ISO/IEC standardized a dataflow-programming framework called Reconfigurable Video Coding (RVC) for the specification of video codecs. The RVC framework aims at providing the specification of a system at a high abstraction level so that the functi ...

Elsevier Science Bv2013

Formal Analysis of Secure Neighbor Discovery in Wireless Networks

Jean-Pierre Hubaux, Panagiotis Papadimitratos, Marcin Poturalski

We develop a formal framework for the analysis of security protocols in wireless networks. The framework captures characteristics necessary to reason about neighbor discovery protocols, such as the neighbor relation, device location, and message propagatio ...

Ieee Computer Soc2013

Bi-Modal Biometric Authentication on Mobile Phones in Challenging Conditions

Sébastien Marcel, Laurent El Shafey

This paper examines the issue of face, speaker and bi-modal authentication in mobile environments when there is significant condition mismatch. We introduce this mismatch by enrolling client models on high quality biometric samples obtained on a laptop com ...

Idiap2013

Security and Privacy in RFID Systems

Khaled Ouafi

This PhD thesis is concerned with authentication protocols using portable lightweight devices such as RFID tags. these devices have lately gained a significant attention for the diversity of the applications that could benefit form their features, ranging ...

EPFL2012

Mafia Fraud Attack against the RC Distance-Bounding Protocol

Serge Vaudenay, Aikaterini Mitrokotsa

At ACM~CCS 2008, Rasmussen and Capkun introduced a distance-bounding protocol RC07 (henceforth RC protocol) where the prover and verifier use simultaneous transmissions and the verifier counts the delay between sending a challenge (starting with a hidden m ...

IEEE2012

Model Checking Security Protocols: A Multiagent System Approach

Security protocols specify the communication required to achieve security objectives, e.g., data-privacy. Such protocols are used in electronic media: e-commerce, e-banking, e-voting, etc. Formal verification is used to discover protocol-design flaws. In t ...

Imperial College London2011

Formal Analysis of Secure Neighbor Discovery in Wireless Networks

Marcin Poturalski

We develop a formal framework for the analysis of security protocols in wireless networks. The framework captures characteristics necessary to reason about neighbor discovery protocols, such as the neighbor relation, device location, and message propagatio ...

2011

Distance Bounding with IEEE 802.15.4a: Attacks and Countermeasures

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

Impulse Radio Ultra-Wideband, in particular the recent standard IEEE 802.15.4a, is a primary candidate for implementing distance bounding protocols, thanks to its ability to perform accurate indoor ranging. Distance bounding protocols allow two wireless de ...

Institute of Electrical and Electronics Engineers2011

Practical unconditionally secure two-channel message authentication

Atefeh Mashatan

We investigate unconditional security for message authentication protocols that are designed using two-channel cryptography. (Two-channel cryptography employs a broadband, insecure wireless channel and an authenticated, narrow-band manual channel at the sa ...

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

Kerberos (protocol)

Graph Chatbot

Chat with Graph Search

Secure Computing with the MPEG RVC Framework

Formal Analysis of Secure Neighbor Discovery in Wireless Networks

Bi-Modal Biometric Authentication on Mobile Phones in Challenging Conditions

Security and Privacy in RFID Systems

Mafia Fraud Attack against the RC Distance-Bounding Protocol

Model Checking Security Protocols: A Multiagent System Approach

Formal Analysis of Secure Neighbor Discovery in Wireless Networks

Distance Bounding with IEEE 802.15.4a: Attacks and Countermeasures

Practical unconditionally secure two-channel message authentication

Expected loss analysis of thresholded authentication protocols in noisy conditions

Secure Computing with the MPEG RVC Framework

Formal Analysis of Secure Neighbor Discovery in Wireless Networks

Model Checking Security Protocols: A Multiagent System Approach

Distance Bounding with IEEE 802.15.4a: Attacks and Countermeasures

Security and Privacy in RFID Systems

Formal Analysis of Secure Neighbor Discovery in Wireless Networks

Practical unconditionally secure two-channel message authentication

Expected loss analysis of thresholded authentication protocols in noisy conditions

Mafia Fraud Attack against the RC Distance-Bounding Protocol

Bi-Modal Biometric Authentication on Mobile Phones in Challenging Conditions