|
[1]
|
T. van Deursen and S. Radomirović.
Attacks on RFID protocols (version 1.1).
Technical report, University of Luxembourg, August 2009.
http://eprint.iacr.org/2008/310.
[ bib |
http ]
|
|
[2]
|
T. van Deursen and S. Radomirović.
Untraceable RFID protocols are not trivially composable: Attacks
on the revision of EC-RAC.
Technical report, University of Luxembourg, July 2009.
http://eprint.iacr.org/2009/332.
[ bib |
http ]
|
|
[3]
|
J. Sun, Y. Liu, J.-S. Dong, and J. Pang.
Towards a toolkit for efficient and flexible verification under
fairness.
Technical Report TRB2/09, National University of Singapore, School of
Computing, 2009.
[ bib ]
|
|
[4]
|
N. Bulling and W. Jamroga.
What agents can probably enforce.
Technical Report IfI-09-04, Clausthal University of Technology, 2009.
[ bib ]
|
|
[5]
|
W. Jamroga and N. Bulling.
Model checking ATL+ is harder than it seemed.
Technical Report IfI-09-13, Clausthal University of Technology, 2009.
[ bib ]
|
