Formalising privacy in the applied pi-calculus

Add to your list(s) Download to your calendar using vCal

• Myrto Arapinis
• Tuesday 27 October 2009, 13:00-14:00
• CS 124.

If you have a question about this talk, please contact Dan Ghica.

The use of RFID tags in personal items, such as passports, may make it possible to track a person’s movements. Even RFID protocols that encrypt their identity may leak enough information to let an attacker trace a tag. We will first define formally unlinkability in the applied pi-calculus which in some cases makes it possible to automatically check if an RFID tag running a particular protocol is traceable. We will then show that there is a flaw in one of the e-passport’s protocols that makes it possible to trace the movements of a particular passport, without having to break the passport’s cryptographic key.

This talk is part of the Lab Lunch series.

This talk is included in these lists:

• CS 124
• Lab Lunch

Note that ex-directory lists are not shown.