@techreport{DR09b,
author = {T. van Deursen and S. Radomirovi\'c},
title = {Untraceable {RFID} protocols are not trivially composable: {Attacks} on the revision of {EC-RAC}},
year = {2009},
institution = {University of Luxembourg},
month = {July},
note = {\url{http://eprint.iacr.org/2009/332}},
}
@techreport{DR09c,
author = {T. van Deursen and S. Radomirovi\'c},
title = {Attacks on {RFID} protocols (version 1.1)},
year = {2009},
institution = {University of Luxembourg},
month = {August},
note = {\url{http://eprint.iacr.org/2008/310}},
}
@techreport{JP09c,
title = {Towards a toolkit for efficient and flexible verification under fairness},
author = {J. Sun and Y. Liu and J.-S. Dong and J. Pang},
number = {TRB2/09},
institution = {National University of Singapore, School of Computing},
year = {2009}
}
@techreport{Bulling09patl-tr,
author = {N. Bulling and W. Jamroga},
title = {What Agents Can Probably Enforce},
institution = {Clausthal University of Technology},
number = {IfI-09-04},
year = {2009}
}
@techreport{Jamroga09atlplus-tr,
author = {W. Jamroga and N. Bulling},
title = {Model Checking {ATL$^+$} is Harder than It Seemed},
institution = {Clausthal University of Technology},
number = {IfI-09-13},
year = {2009}
}
@techreport{DR08f,
author = {T. van Deursen and S. Radomirovi\'c},
title = {On a new formal proof model for {RFID} Location Privacy},
year = {2008},
month = {November},
institution = {University of Luxembourg},
note = {\url{http://eprint.iacr.org/2008/477}},
}
