Provably Secure Ubiquitous Systems:
Universally Composable RFID Authentication Protocols

Abstract

The emergence of environments where computing devices are embedded pervasively in the physical world has made possible many interesting applications and triggered several new research areas. Mobile ad hoc networks (MANETs), sensor networks, and RFID systems are all examples of such pervasive systems. Operating on an open medium with constrained resources, such networks suffer from specific security vulnerabilities. Traditional security approaches, in particular regarding provision of availability, are often inappropriate for the context of ubiquitous computing.

This presentation investigates the security of RFID systems with focus on availability and privacy issues in the presence of Byzantine adversaries. We formulate rigorous simulation frameworks for analyzing security objectives and design novel mechanisms and algorithms that achieve proven availability, efficiency, authenticity, and privacy for RFID applications.

Speaker Bio: Breno de Medeiros

I joined the faculty of the Computer Science Department at Florida State University after completing a Ph.D. degree in Computer Science from The Johns Hopkins University (2004). My published research includes works on privacy-preserving protocols, group signatures schemes, identity-based cryptographic primitives, and applications. Some of my current research interests are in the areas of elliptic-curve cryptography, provably secure ubiquitous systems, and privacy-enhanced protocols and services.

http://www.cs.fsu.edu/~breno/