home > Research projects > Secu

Security for Wireless Networks

Head: David Basin

Participants: Srdjan Capkun , Jean-Pierre Hubaux , Serge Vaudenay

The aim of this project is to provide MICS with foundations, methods, and tools for securing wireless networks as well as a collection of protocols that have been proven correct and implemented.

We will develop efficient designs and protocols for wireless environments, analyze their resistance against attacks, and provide optimized proof-of-concept implementations ready for industrial applications. This encompasses both the development of security protocols and of encryption and authentication primitives (including symmetric and public key based primitives and hash functions). The protocols that we will study include: secure neighborhood discovery, secure positioning in all-wireless networks, (location) privacy in wireless networking applications, and secure broadcast authentication protocols. We will also develop new protocols for secure time synchronization, device identification, and anti-jamming communication. We will further develop here appropriate privacy models for RFID protocols and the concept of two-channel cryptography for resource-bounded devices in order to identify necessary and sufficient cryptographic primitives.

We will also develop techniques for formally analyzing protocols, i.e., models and methods for verifying or finding errors in security protocols for wireless networks. These methods will either be integrated into automated analysis tools like model-checkers or will form the basis of theories for interactive verification using interactive theorem provers. Here we will build on previous work on the OFMC and Scyther model-checkers and theories for verifying "physical" security protocols in Isabelle/HOL.


The National Centers of Competence in Research are a research
instrument of the Swiss National Science Foundation.
© NCCR MICS - mics@epfl.ch