 | 2009 |
|---|
| 9 |       | Ton van Deursen,
Sjouke Mauw,
Sasa Radomirovic,
Pim Vullers:
Secure Ownership and Ownership Transfer in RFID Systems.
ESORICS 2009: 637-654 |
| 8 | | Ton van Deursen,
Sasa Radomirovic:
Algebraic Attacks on RFID Protocols.
WISTP 2009: 38-51 |
| 7 | | Ton van Deursen,
Sasa Radomirovic:
Security of RFID Protocols - A Case Study.
Electr. Notes Theor. Comput. Sci. 244: 41-52 (2009) |
| 6 | | Ton van Deursen,
Sasa Radomirovic:
On a new formal proof model for RFID location privacy.
Inf. Process. Lett. 110(2): 57-61 (2009) |
| 2008 |
|---|
| 5 | | Ton van Deursen,
Sjouke Mauw,
Sasa Radomirovic:
Untraceability of RFID Protocols.
WISTP 2008: 1-15 |
| 4 | | Pieter Ceelen,
Sjouke Mauw,
Sasa Radomirovic:
Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks.
Electr. Notes Theor. Comput. Sci. 197(2): 31-43 (2008) |
| 3 | | Suzana Andova,
Cas J. F. Cremers,
Kristian Gjøsteen,
Sjouke Mauw,
Stig Fr. Mjølsnes,
Sasa Radomirovic:
A framework for compositional verification of security protocols.
Inf. Comput. 206(2-4): 425-459 (2008) |
| 2006 |
|---|
| 2 | | Suzana Andova,
Cas J. F. Cremers,
Kristian Gjøsteen,
Sjouke Mauw,
Stig Fr. Mjølsnes,
Sasa Radomirovic:
A framework for compositional verification of security protocols
CoRR abs/cs/0611062: (2006) |
| 1 | | Laura Ciobanu,
Sasa Radomirovic:
Restricted Walks in Regular Trees.
Electr. J. Comb. 13(1): (2006) |
