Sasa Radomirovic

Barbara Kordy, Sasa Radomirovic: Constructing Optimistic Multi-party Contract Signing Protocols. CSF 2012: 215-229

Ton van Deursen, Sasa Radomirovic: Insider Attacks and Privacy of RFID Protocols. EuroPKI 2011: 91-105

Ton van Deursen, Sjouke Mauw, Sasa Radomirovic: mCarve: Carving Attributed Dump Sets. USENIX Security Symposium 2011

Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer: Foundations of Attack-Defense Trees. Formal Aspects in Security and Trust 2010: 80-95

Ton van Deursen, Sasa Radomirovic: EC-RAC: Enriching a Capacious RFID Attack Collection. RFIDSec 2010: 75-90

Ileana Buhan, Gabriele Lenzini, Sasa Radomirovic: Contextual Biometric-Based Authentication for Ubiquitous Services. UIC 2010: 680-693

Ton van Deursen, Sasa Radomirovic: Security of RFID Protocols - A Case Study. Electr. Notes Theor. Comput. Sci. 244: 41-52 (2009)

Ton van Deursen, Sasa Radomirovic: On a new formal proof model for RFID location privacy. Inf. Process. Lett. 110(2): 57-61 (2009)

Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti: Minimal Message Complexity of Asynchronous Multi-party Contract Signing. CSF 2009: 13-25

Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers: Secure Ownership and Ownership Transfer in RFID Systems. ESORICS 2009: 637-654

Ton van Deursen, Sasa Radomirovic: Algebraic Attacks on RFID Protocols. WISTP 2009: 38-51

Ton van Deursen, Sasa Radomirovic: Untraceable RFID protocols are not trivially composable: Attacks on the revision of EC-RAC. IACR Cryptology ePrint Archive 2009: 332 (2009)

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)

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)

Ton van Deursen, Sjouke Mauw, Sasa Radomirovic: Untraceability of RFID Protocols. WISTP 2008: 1-15

Ton van Deursen, Sasa Radomirovic: Attacks on RFID Protocols. IACR Cryptology ePrint Archive 2008: 310 (2008)

Ton van Deursen, Sasa Radomirovic: On a New Formal Proof Model for RFID Location Privacy (Extended Version). IACR Cryptology ePrint Archive 2008: 477 (2008)

Laura Ciobanu, Sasa Radomirovic: Restricted Walks in Regular Trees. Electr. J. Comb. 13(1) (2006)

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)