@INPROCEEDINGS{BrusoCH-2010-csf,
    author        = {Bruso, Mayla and Chatzikokolakis, Konstantinos and den Hartog, Jerry},
    title         = {{Formal Verification of Privacy for RFID Systems}},
    booktitle     = {Computer Security Foundations Symposium -- CSF 2010},
    year          = {2010},
    editor        = {},
    volume        = {},
    series        = {},
    pages         = {},
    address       = {Edinburgh, United Kingdom},
    month         = {July},
    organization  = {IEEE},
    publisher     = {},
   bibsource     = {Information Security Group (GSI), UCL, Louvain-la-Neuve, Belgium},
}