Formal Computational Unlinkability Proofs of RFID Protocols

Hubert Comon, Adrien Koutsos
January 2017
PDF Slides DOI
Type
Conference paper
Publication
30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017