%0 Conference Paper %1 conf/csfw/ComonK17 %A Comon, Hubert %A Koutsos, Adrien %B CSF %D 2017 %I IEEE Computer Society %K %P 100-114 %T Formal Computational Unlinkability Proofs of RFID Protocols. %U http://dblp.uni-trier.de/db/conf/csfw/csf2017.html#ComonK17 %@ 978-1-5386-3217-8

@inproceedings{conf/csfw/ComonK17, added-at = {2023-12-13T07:13:35.000+0100}, author = {Comon, Hubert and Koutsos, Adrien}, biburl = {https://www.bibsonomy.org/bibtex/23150c7809e1d2d852ac32646e63b9884/admin}, booktitle = {CSF}, crossref = {conf/csfw/2017}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2017.9}, interhash = {b690945bf9440dcb5869142fea87b696}, intrahash = {3150c7809e1d2d852ac32646e63b9884}, isbn = {978-1-5386-3217-8}, keywords = {}, pages = {100-114}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:13:35.000+0100}, title = {Formal Computational Unlinkability Proofs of RFID Protocols.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2017.html#ComonK17}, year = 2017 }