@inproceedings{verdult2012toolbox,
    title       = {A Toolbox for {RFID} Protocol Analysis},
    author      = {Verdult, Roel and de Koning Gans, Gerhard and Garcia, Flavio D.},
    booktitle   = {4th International EURASIP Workshop on RFID Technology (EURASIP RFID 2012)},
    publisher   = {IEEE Computer Society},
    year        = {2012},
    pages       = {27--34}
}