Formal Analysis of Distance Bounding with Secure Hardware.

Handan Kilin, Serge Vaudenay

Browse the full ACNS paper archive.