| 2008 |
|---|
| 5 | EE | Ton van Deursen,
Sjouke Mauw,
Sasa Radomirovic:
Untraceability of RFID Protocols.
WISTP 2008: 1-15 |
| 4 | EE | 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 | EE | 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 | EE | 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 | EE | Laura Ciobanu,
Sasa Radomirovic:
Restricted Walks in Regular Trees.
Electr. J. Comb. 13(1): (2006) |
