| [1] | S. Mauw, S. Radomirovic, and M. Torabi Dashti.
Minimal message complexity of asynchronous multi-party contract signing.
In Proceedings of the 22nd IEEE Computer Security Foundations Symposium
(CSF'09), pages 13–25. IEEE Computer Society, 2009. |
| [2] | T. van Deursen and S. Radomirovic.
Algebraic attacks on RFID
protocols.
In Information Security Theory and Practices. Smart Devices, Pervasive
Systems, and Ubiquitous Networks (WISTP'09), volume 5746 of
Lecture Notes in Computer Science. Springer, 2009.
38–51. |
| [3] | T. van Deursen and S. Radomirovic.
Security of RFID protocols –
A case study.
In Proc. 4th International Workshop on Security and Trust Management
(STM'08), volume 244 of ENTCS, pages 41–52. Elsevier,
August 2009.
(doi:10.1016/j.entcs.2009.07.037) |
| [4] | T. van Deursen, S. Mauw, S. Radomirovic, and P. Vullers.
Secure ownership and ownership
transfer in RFID systems.
In Proc. 14th European Symposium On Research In Computer Security
(ESORICS'09), volume 5789 of Lecture Notes in Computer
Science, pages 637–654. Springer, 2009. |
| [5] | P. Ceelen, S. Mauw, and S. Radomirovic.
Chosen-name attacks: An
overlooked class of type-flaw attacks.
In Proceedings of the 3rd International Workshop on Security and Trust
Management (STM 2007), volume 197 of ENTCS, pages 31–43,
Dresden, Germany, February 2008. |
| [6] | T. van Deursen and S. Radomirovic.
Security of an RFID protocol
for supply chains.
In Proc. 1st Workshop on Advances in RFID (AIR'08), pages
568–573. IEEE Computer Society, October 2008. |
| [7] | T. van Deursen, S. Mauw, and S. Radomirovic.
Untraceability of RFID
protocols.
In Information Security Theory and Practices. Smart Devices, Convergence
and Next Generation Networks (WISTP'08), volume 5019 of Lecture
Notes in Computer Science, pages 1–15, Seville, Spain, 2008.
Springer. |
| [1] | T. van Deursen and S. Radomirovic.
Attacks on RFID protocols (version 1.1).
Technical report, University of Luxembourg, August 2009.
http://eprint.iacr.org/2008/310. |
| [2] | T. van Deursen and S. Radomirovic.
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. |
| [3] | T. van Deursen and S. Radomirovic.
On a new formal proof model for RFID location privacy.
Technical report, November 2008.
http://eprint.iacr.org/2008/477. |
| [4] | T. van Deursen and S. Radomirovic.
Vulnerabilities in RFID protocols due to algebraic properties.
3rd Benelux Workshop on Information and System Security, November
2008. |
| [5] | S. Andova, K. Gjøsteen, L. Kråkmo, F. Mjølsnes, and
S. Radomirovic.
An example of
proving uc-realization with formal methods.
In Workshop on Formal and Computational Cryptography (FCC 2006),
Venice, Italy, July 2006. |
| [6] | Sasa Radomirovic.
Cusp Forms over
Function Fields and Modular Symbols.
Ph.D. Thesis, Rutgers University, 2005. |
| [7] | Sasa Radomirovic.
Investigations Into Span
Programs with Multiplication.
Diploma Thesis, ETH Zürich, 1998. |
