4:00 p.m., Monday (February 20, 2006)

MATH 105

Adam D. Smith
Weizmann Institute

Error-Correction and Randomness Extraction in Cryptographic Protocols

I will present a rigorous framework and new algorithmic tools for handling cryptographic keys which are subject to errors. These arise, for example, when a user wants to use biometric measurements -- fingerprints, iris scans, etc -- as secret keys for authentication or encryption. Traditional cryptographic protocols become unusable in the presence of this type of noise.

The talk will focus on the roles of two combinatorial concepts in solving this problem: error-correcting codes and randomness extractors. Both have been important in cryptography and theoretical computer science. This work provides new applications of both concepts, as well as a new connection between them.

We begin by defining ``fuzzy extractors", which combine aspects of both error-correction and randomness extraction. I will explain how these allow one to use noisy secret keys under minimal assumptions, and give algorithmically efficient, near-optimal constructions for three types of errors: Hamming errors, set difference, and binary stringe edits.

I will then explain how randomness extraction is useful in ensuring a strong notion of secrecy even in situations where some information about a secret must be leaked. Returning to the problem of noisy secret keys, we show that there exist algorithmically efficient fuzzy extractors which satisfy this stronger notion of secrecy. This result may be interpreted as follows: although correcting errors requires leaking a lot of information (i.e. losing a lot of entropy in the secret), it need not leak anything useful to the adversary.

Based on joint work with Xavier Boyen, Yevgeniy Dodis, Jonathan Katz, Rafail Ostrovsky and Leonid Reyzin.

Refreshments will be served at 3:45 p.m. (MATX 1115, Math Lounge).

Copyright © 2006 UBC Mathematics Department