Concept

Cryptographie

Publications associées (295)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Right anterior cingulate cortical volume covaries with respiratory sinus arrythmia magnitude in combat veterans

Marie Schaer

Existing data suggest anterior cingulate cortex plays a role in autonomic regulation. In persons with posttraumatic stress disorder, autonomic regulation appears impaired, and smaller mean anterior cingulate cortex volume has been reported. This study exam ...

2008

Mix-Zones for Location Privacy in Vehicular Networks

Jean-Pierre Hubaux, Panagiotis Papadimitratos, Mark Felegyhazi, Julien Freudiger, Maxime Raya

Vehicular Networks (VNs) seek to provide, among other applications, safer driving conditions. To do so, vehicles need to periodically broadcast safety messages providing precise position information to nearby vehicles. However, this frequent messaging (e.g ...

2007

Secure Position-Based Routing for VANETs

Panagiotis Papadimitratos, Charles Harsch

Vehicular communication (VC) systems have the potential to improve road safety and driving comfort. Nevertheless, securing the operation is a prerequisite for deployment. So far, the security of VC applications has mostly drawn the attention of research ef ...

2007

Architecture for Secure and Private Vehicular Communications

Jean-Pierre Hubaux, Panagiotis Papadimitratos, Maxime Raya, Levente Buttyan

The deployment of vehicular communication (VC) systems is strongly dependent on their security and privacy features. In this paper, we propose a security architecture for VC. The primary objectives of the architecture include the management of identities a ...

2007

A formal semantics for protocol narrations

Sébastien Briais

Protocol narrations are a widely-used informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message exchanges among the protocol’s participants. Protocol narrations ha ...

2007

Provable Security in Cryptography

Thomas Baignères

These lecture notes are a compilation of some of my readings while I was preparing two lectures given at EPFL on provable security in cryptography. They are essentially based on a book chapter from David Pointcheval called “Provable Security for Public Key ...

2007

E-Passport Threats

Serge Vaudenay

The author focuses on the cryptographic protection of e-passports, working from the assumption that even if people can peacefully live with their e- passports, what sort of cryptography technology is involved here? Can e- passport holders protect their pri ...

2007

Passive-Only Key Recovery Attacks on RC4

Serge Vaudenay, Martin Vuagnoux

We present several weaknesses in the key scheduling algorithm of RC4 when the secret key contains an initialization vector - a cryptographic scheme typically used by the WEP and WPA protocols to protect IEEE 802.11 wireless communications. First, we show h ...

Springer2007

Efficient Protocols for Set Membership and Range Proofs

Rafik Chaabouni

Efficient Protocols for Set Membership and Range Proofs The goal of this master thesis was to give a major contribution in the domain of honest verifier zero-knowledge set membership and range proof. In order to do so, some investigation has been done on d ...

2007

Logical concepts in cryptography

Simon Kramer

This thesis is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundamen ...

EPFL2007