Restricted Walks in Regular Trees. - Laura Ciobanu; Sasa Radomirovic (Electron. J. Comb., 2006)

Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks. - Pieter Ceelen; Sjouke Mauw; Sasa Radomirovic (STM@ESORICS, 2007)

Security of an RFID Protocol for Supply Chains. - Ton van Deursen; Sasa Radomirovic (ICEBE, 2008)

Untraceability of RFID Protocols. - Ton van Deursen; Sjouke Mauw; Sasa Radomirovic (WISTP, 2008)

Security of RFID Protocols - A Case Study. - Ton van Deursen; Sasa Radomirovic (STM@IFIPTM, 2008)

Attacks on RFID Protocols. - Ton van Deursen; Sasa Radomirovic (IACR Cryptol. ePrint Arch., 2008)

On a New Formal Proof Model for RFID Location Privacy (Extended Version). - Ton van Deursen; Sasa Radomirovic (IACR Cryptol. ePrint Arch., 2008)

A framework for compositional verification of security protocols. - Suzana Andova; Cas Cremers; Kristian Gjøsteen; Sjouke Mauw; Stig Fr. Mjølsnes; Sasa Radomirovic (Inf. Comput., 2008)

Towards a Decision Model Based on Trust and Security Risk Management. - Baptiste Alcalde; Eric Dubois 001; Sjouke Mauw; Nicolas Mayer; Sasa Radomirovic (AISC, 2009)

Minimal Message Complexity of Asynchronous Multi-party Contract Signing. - Sjouke Mauw; Sasa Radomirovic; Mohammad Torabi Dashti (CSF, 2009)

Secure Ownership and Ownership Transfer in RFID Systems. - Ton van Deursen; Sjouke Mauw; Sasa Radomirovic; Pim Vullers (ESORICS, 2009)

Algebraic Attacks on RFID Protocols. - Ton van Deursen; Sasa Radomirovic (WISTP, 2009)

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

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

Foundations of Attack-Defense Trees. - Barbara Kordy; Sjouke Mauw; Sasa Radomirovic; Patrick Schweitzer (Formal Aspects in Security and Trust, 2010)

EC-RAC: Enriching a Capacious RFID Attack Collection. - Ton van Deursen; Sasa Radomirovic (RFIDSec, 2010)

Security Protocols for Secret Santa. - Sjouke Mauw; Sasa Radomirovic; Peter Y. A. Ryan (Security Protocols Workshop, 2010)

Contextual Biometric-Based Authentication for Ubiquitous Services. - Ileana Buhan; Gabriele Lenzini; Sasa Radomirovic (UIC, 2010)

Insider Attacks and Privacy of RFID Protocols. - Ton van Deursen; Sasa Radomirovic (EuroPKI, 2011)

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

Constructing Optimistic Multi-party Contract Signing Protocols. - Barbara Kordy; Sasa Radomirovic (CSF, 2012)

A Construction of Short Sequences Containing All Permutations of a Set as Subsequences. - Sasa Radomirovic (Electron. J. Comb., 2012)

Attack-defense trees. - Barbara Kordy; Sjouke Mauw; Sasa Radomirovic; Patrick Schweitzer (J. Log. Comput., 2014)

Alice and Bob Meet Equational Theories. - David A. Basin; Michel Keller; Sasa Radomirovic; Ralf Sasse (Logic, Rewriting, and Concurrency, 2015)

A Complete Characterization of Secure Human-Server Communication. - David A. Basin; Sasa Radomirovic; Michael Schläpfer (CSF, 2015)

Guided Specification and Analysis of a Loyalty Card System. - Laurent Cuennet; Marc Pouly; Sasa Radomirovic (GraMSec@CSF, 2015)

Generalizing Multi-party Contract Signing. - Sjouke Mauw; Sasa Radomirovic (POST, 2015)

Attack Trees with Sequential Conjunction. - Ravi Jhawar; Barbara Kordy; Sjouke Mauw; Sasa Radomirovic; Rolando Trujillo-Rasua (SEC, 2015)

Location-Private Interstellar Communication. - Hugo Jonker; Sjouke Mauw; Sasa Radomirovic (Security Protocols Workshop, 2015)

Derailing Attacks. - Sasa Radomirovic; Mohammad Torabi Dashti (Security Protocols Workshop, 2015)

Improving the Security of Cryptographic Protocol Standards. - David A. Basin; Cas Cremers; Kunihiko Miyazaki; Sasa Radomirovic; Dai Watanabe (IEEE Secur. Priv., 2015)

Modeling Human Errors in Security Protocols. - David A. Basin; Sasa Radomirovic; Lara Schmid (CSF, 2016)

An Anti-pattern for Misuse Cases. - Mohammad Torabi Dashti; Sasa Radomirovic (CyberICPS/SECPRE@ESORICS, 2017)

Force Open: Lightweight black box file repair. - Karl Wüst; Petar Tsankov; Sasa Radomirovic; Mohammad Torabi Dashti (Digit. Investig., 2017)

A Formal Analysis of 5G Authentication. - David A. Basin; Jannik Dreier; Lucca Hirschi; Sasa Radomirovic; Ralf Sasse; Vincent Stettler (CCS, 2018)

Alethea: A Provably Secure Random Sample Voting Protocol. - David A. Basin; Sasa Radomirovic; Lara Schmid (CSF, 2018)

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. - Jannik Dreier; Lucca Hirschi; Sasa Radomirovic; Ralf Sasse (CSF, 2018)

User Account Access Graphs. - Sven Hammann; Sasa Radomirovic; Ralf Sasse; David A. Basin (CCS, 2019)

Shaping Our Mental Model of Security. - Sasa Radomirovic (Security Protocols Workshop, 2019)

Shaping Our Mental Model of Security (Transcript of Discussion). - Sasa Radomirovic (Security Protocols Workshop, 2019)

Dispute Resolution in Voting. - David A. Basin; Sasa Radomirovic; Lara Schmid (CSF, 2020)

Verification of stateful cryptographic protocols with exclusive OR. - Jannik Dreier; Lucca Hirschi; Sasa Radomirovic; Ralf Sasse (J. Comput. Secur., 2020)

Verifying Table-Based Elections. - David A. Basin; Jannik Dreier; Sofia Giampietro; Sasa Radomirovic (CCS, 2021)

"I'm Doing the Best I Can." - Understanding Technology Literate Older Adults' Account Management Strategies. - Melvin Abraham; Michael Crabb; Sasa Radomirovic (STAST, 2021)

"I'm Surprised So Much Is Connected". - Sven Hammann; Michael Crabb; Sasa Radomirovic; Ralf Sasse; David A. Basin (CHI, 2022)

Tactics for Account Access Graphs. - Luca Arnaboldi 001; David Aspinall 001; Christina Kolb; Sasa Radomirovic (ESORICS (3), 2023)

Nothing is Out-of-Band: Formal Modeling of Ceremonies. - Barbara Fila; Sasa Radomirovic (CSF, 2024)

On the Design and Security of Collective Remote Attestation Protocols. - Sharar Ahmadi; Jay Le-Papin; Liqun Chen 002; Brijesh Dongol; Sasa Radomirovic; Helen Treharne (CoRR, 2024)

From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security. - Luca Arnaboldi 001; David Aspinall 001; Christina Kolb; Sasa Radomirovic (SAFECOMP (Workshops), 2025)