Formal Analysis of Privacy for Vehicular Mix-Zones.

Morten Dahl, Stphanie Delaune, Graham Steel

Browse the full ESORICS paper archive.