Sasa Radomirovic

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 18

Top Topics

Cryptographic Protocols

Dispute Resolution

Fragile Watermarking

Top Venues

Security Protocols Workshop

Publications

Sharar Ahmadi, Jay Le-Papin, Liqun Chen, Brijesh Dongol, Sasa Radomirovic, Helen Treharne
On the Design and Security of Collective Remote Attestation Protocols. CoRR (2024)
Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic
Tactics for Account Access Graphs. ESORICS (3) (2023)
Sven Hammann, Michael Crabb, Sasa Radomirovic, Ralf Sasse, David A. Basin
"I'm Surprised So Much Is Connected". CHI (2022)
Melvin Abraham, Michael Crabb, Sasa Radomirovic
"I'm Doing the Best I Can." - Understanding Technology Literate Older Adults' Account Management Strategies. STAST (2021)
David A. Basin, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic
Verifying Table-Based Elections. CCS (2021)
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
Verification of stateful cryptographic protocols with exclusive OR. J. Comput. Secur. 28 (1) (2020)
David A. Basin, Sasa Radomirovic, Lara Schmid
Dispute Resolution in Voting. CoRR (2020)
David A. Basin, Sasa Radomirovic, Lara Schmid
Dispute Resolution in Voting. CSF (2020)
Sasa Radomirovic
Shaping Our Mental Model of Security (Transcript of Discussion). Security Protocols Workshop (2019)
Sven Hammann, Sasa Radomirovic, Ralf Sasse, David A. Basin
User Account Access Graphs. CCS (2019)
Sasa Radomirovic
Shaping Our Mental Model of Security. Security Protocols Workshop (2019)
David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
Formal Analysis of 5G Authentication. CoRR (2018)
David A. Basin, Sasa Radomirovic, Lara Schmid
Alethea: A Provably Secure Random Sample Voting Protocol. CSF (2018)
David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
A Formal Analysis of 5G Authentication. CCS (2018)
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. CSF (2018)
Karl Wüst, Petar Tsankov, Sasa Radomirovic, Mohammad Torabi Dashti
Force Open: Lightweight black box file repair. Digit. Investig. (2017)
Mohammad Torabi Dashti, Sasa Radomirovic
An Anti-pattern for Misuse Cases. CyberICPS/SECPRE@ESORICS (2017)
David A. Basin, Sasa Radomirovic, Lara Schmid
Modeling Human Errors in Security Protocols. CSF (2016)
David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse
Alice and Bob Meet Equational Theories. Logic, Rewriting, and Concurrency (2015)
Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
Attack Trees with Sequential Conjunction. CoRR (2015)
Sjouke Mauw, Sasa Radomirovic
Generalizing Multi-party Contract Signing. POST (2015)
David A. Basin, Sasa Radomirovic, Michael Schläpfer
A Complete Characterization of Secure Human-Server Communication. CSF (2015)
Laurent Cuennet, Marc Pouly, Sasa Radomirovic
Guided Specification and Analysis of a Loyalty Card System. GraMSec@CSF (2015)
Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
Attack Trees with Sequential Conjunction. SEC (2015)
Hugo Jonker, Sjouke Mauw, Sasa Radomirovic
Location-Private Interstellar Communication. Security Protocols Workshop (2015)
David A. Basin, Cas Cremers, Kunihiko Miyazaki, Sasa Radomirovic, Dai Watanabe
Improving the Security of Cryptographic Protocol Standards. IEEE Secur. Priv. 13 (3) (2015)
Sjouke Mauw, Sasa Radomirovic
Generalizing Multi-party Contract Signing. CoRR (2015)
Sasa Radomirovic, Mohammad Torabi Dashti
Derailing Attacks. Security Protocols Workshop (2015)
Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer
Attack-defense trees. J. Log. Comput. 24 (1) (2014)
Barbara Kordy, Sasa Radomirovic
Constructing Optimistic Multi-party Contract Signing Protocols. CSF (2012)
Sasa Radomirovic
A Construction of Short Sequences Containing All Permutations of a Set as Subsequences. Electron. J. Comb. 19 (4) (2012)
Ton van Deursen, Sasa Radomirovic
Insider Attacks and Privacy of RFID Protocols. EuroPKI (2011)
Ton van Deursen, Sjouke Mauw, Sasa Radomirovic
mCarve: Carving Attributed Dump Sets. USENIX Security Symposium (2011)
Sjouke Mauw, Sasa Radomirovic, Peter Y. A. Ryan
Security Protocols for Secret Santa. Security Protocols Workshop (2010)
Ton van Deursen, Sasa Radomirovic
EC-RAC: Enriching a Capacious RFID Attack Collection. RFIDSec (2010)
Ileana Buhan, Gabriele Lenzini, Sasa Radomirovic
Contextual Biometric-Based Authentication for Ubiquitous Services. UIC (2010)
Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer
Foundations of Attack-Defense Trees. Formal Aspects in Security and Trust (2010)
Ton van Deursen, Sasa Radomirovic
On a new formal proof model for RFID location privacy. Inf. Process. Lett. 110 (2) (2009)
Baptiste Alcalde, Eric Dubois, Sjouke Mauw, Nicolas Mayer, Sasa Radomirovic
Towards a Decision Model Based on Trust and Security Risk Management. AISC (2009)
Ton van Deursen, Sasa Radomirovic
Algebraic Attacks on RFID Protocols. WISTP (2009)
Ton van Deursen, Sasa Radomirovic
Untraceable RFID protocols are not trivially composable: Attacks on the revision of EC-RAC. IACR Cryptol. ePrint Arch. 2009 (2009)
Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers
Secure Ownership and Ownership Transfer in RFID Systems. ESORICS (2009)
Ton van Deursen, Sasa Radomirovic
Security of RFID Protocols - A Case Study. Electron. Notes Theor. Comput. Sci. 244 (2009)
Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti
Minimal Message Complexity of Asynchronous Multi-party Contract Signing. CSF (2009)
Pieter Ceelen, Sjouke Mauw, Sasa Radomirovic
Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks. Electron. Notes Theor. Comput. Sci. 197 (2) (2008)
Ton van Deursen, Sasa Radomirovic
Security of an RFID Protocol for Supply Chains. ICEBE (2008)
Ton van Deursen, Sasa Radomirovic
Attacks on RFID Protocols. IACR Cryptol. ePrint Arch. 2008 (2008)
Suzana Andova, Cas 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) (2008)
Ton van Deursen, Sasa Radomirovic
On a New Formal Proof Model for RFID Location Privacy (Extended Version). IACR Cryptol. ePrint Arch. 2008 (2008)
Ton van Deursen, Sjouke Mauw, Sasa Radomirovic
Untraceability of RFID Protocols. WISTP (2008)
Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
A framework for compositional verification of security protocols CoRR (2006)
Laura Ciobanu, Sasa Radomirovic
Restricted Walks in Regular Trees. Electron. J. Comb. 13 (1) (2006)