 | 2009 |
|---|
| 8 |       | Ton van Deursen,
Sjouke Mauw,
Sasa Radomirovic,
Pim Vullers:
Secure Ownership and Ownership Transfer in RFID Systems.
ESORICS 2009: 637-654 |
| 7 | | Xihui Chen,
Ton van Deursen,
Jun Pang:
Improving Automatic Verification of Security Protocols with XOR.
ICFEM 2009: 107-126 |
| 6 | | Ton van Deursen,
Sasa Radomirovic:
Algebraic Attacks on RFID Protocols.
WISTP 2009: 38-51 |
| 5 | | Ton van Deursen,
Sasa Radomirovic:
Security of RFID Protocols - A Case Study.
Electr. Notes Theor. Comput. Sci. 244: 41-52 (2009) |
| 4 | | Ton van Deursen,
Sasa Radomirovic:
On a new formal proof model for RFID location privacy.
Inf. Process. Lett. 110(2): 57-61 (2009) |
| 2008 |
|---|
| 3 | | Ton van Deursen,
Paul Koster,
Milan Petkovic:
Reliable Personal Health Records.
MIE 2008: 484-489 |
| 2 | | Ton van Deursen,
Sjouke Mauw,
Sasa Radomirovic:
Untraceability of RFID Protocols.
WISTP 2008: 1-15 |
| 1 | | Ton van Deursen,
Paul Koster,
Milan Petkovic:
Hedaquin: A Reputation-based Health Data Quality Indicator.
Electr. Notes Theor. Comput. Sci. 197(2): 159-167 (2008) |
