Research

Reports

RSMG Report 2

RSMG Report 3

RSMG Report 4

RSMG Report 5

RSMG Report 6

RSMG Report 7

Presentations

Talk on VANETs for the Computer Security seminar series VANETs long

Talk on VANETs for the Research Skills course VANETs short

Talk on UMTS for the Computer Security seminar series UMTS long

BCTCS talk on UMTS privacy attack UMTS short

CCS12 talk New privacy issues in mobile telephony: fix and verification

Eprint

Formal Analysis of UMTS Privacy