Mayla Brusò, Konstantinos Chatzikokolakis, Jerry den Hartog. Formal Verification of Privacy for RFID Systems. In Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010. pages 75-88, IEEE Computer Society, 2010. [doi]
@inproceedings{BrusoCH10,
title = {Formal Verification of Privacy for RFID Systems},
author = {Mayla Brusò and Konstantinos Chatzikokolakis and Jerry den Hartog},
year = {2010},
doi = {10.1109/CSF.2010.13},
url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2010.13},
researchr = {https://researchr.org/publication/BrusoCH10},
cites = {0},
citedby = {0},
pages = {75-88},
booktitle = {Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4082-5},
}