Formal Computational Unlinkability Proofs of RFID Protocols

Hubert Comon, Adrien Koutsos. Formal Computational Unlinkability Proofs of RFID Protocols. In 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017. pages 100-114, IEEE, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.