Conference Proceedings

1. Verifying Account Ecosystems with Graph Transformations. F. Murphy and S. Radomirovic. In 11th IEEE European Symposium on Security and Privacy, EuroS&P 2026, pages (to appear), IEEE, 2026.
   [bib]
2. Nothing is Out-of-band: Formal Modeling of Ceremonies. B. Fila and S. Radomirović. In 37th IEEE Computer Security Foundations Symposium (CSF 2024), pages 464-478, IEEE Computer Society, 2024.
   [pdf]  [doi]  [bib]
3. Tactics for Account Access Graphs. L. Arnaboldi, D. Aspinall, C. Kolb and S. Radomirovic. In Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, pages 452-470, Springer, Lecture Notes in Computer Science 14346, 2023.
   [pdf]  [doi]  [bib]
4. ``I'm Surprised So Much Is Connected'': A Study on Users' Online Accounts. S. Hammann, M. Crabb, S. Radomirović, R. Sasse and D. Basin. In CHI'22: CHI Conference on Human Factors in Computing Systems, 2022, pages 620:1-620:13, ACM, 2022.
   [pdf]  [doi]  [bib]
5. Verifying Table-Based Elections. D. Basin, J. Dreier, S. Giampietro and S. Radomirović. In ACM SIGSAC Conference on Computer and Communications Security, CCS 2021, pages 2632-2652, ACM, CCS '21 , 2021.
   [pdf]  [doi]  [bib]
6. Dispute Resolution in Voting. D. Basin, S. Radomirović and L. Schmid. In 33rd IEEE Computer Security Foundations Symposium (CSF 2020), pages 1-16, IEEE Computer Society, 2020.
   [pdf]  [doi]  [bib]
7. User Account Access Graphs. S. Hammann, S. Radomirović, R. Sasse and D. Basin. In ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, pages 1405-1422, ACM, 2019.
   [doi]  [bib]
8. A Formal Analysis of 5G Authentication. D. Basin, J. Dreier, L. Hirschi, S. Radomirović, R. Sasse and V. Stettler. In ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, pages 1383-1396, ACM, 2018.
   [pdf]  [doi]  [bib]
9. Alethea: A Provably Secure Random Sample Voting Protocol. D. Basin, S. Radomirović and L. Schmid. In 31st IEEE Computer Security Foundations Symposium (CSF 2018), pages 283-297, IEEE Computer Society, 2018.
   [pdf]  [doi]  [bib]
10. Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. J. Dreier, L. Hirschi, S. Radomirović and R. Sasse. In 31st IEEE Computer Security Foundations Symposium (CSF 2018), pages 359-373, IEEE Computer Society, 2018.
    [pdf]  [doi]  [bib]
11. Force Open: Lightweight Black Box File Repair. K. Wüst, P. Tsankov, S. Radomirović and M. T. Dashti. In Digital Investigation, 20: S75-S82, 2017.
    [pdf]  [doi]  [bib]
12. Modeling Human Errors in Security Protocols. D. Basin, S. Radomirović and L. Schmid. In 29th IEEE Computer Security Foundations Symposium (CSF 2016), pages 325-340, IEEE Computer Society, 2016.
    [pdf]  [doi]  [bib]
13. A Complete Characterization of Secure Human-Server Communication. D. Basin, S. Radomirović and M. Schläpfer. In 28th IEEE Computer Security Foundations Symposium (CSF 2015), pages 199-213, IEEE Computer Society, 2015.
    [pdf]  [doi]  [bib]
14. Generalizing Multi-party Contract Signing. S. Mauw and S. Radomirović. In Principles of Security and Trust (POST 2015), pages 156-175, Springer, LNCS 9036, 2015.
    [pdf]  [doi]  [bib]
15. Attack Trees with Sequential Conjunction. R. Jhawar, B. Kordy, S. Mauw, S. Radomirović and R. Trujillo-Rasua. In ICT Systems Security and Privacy Protection - 30th IFIP TC 11 International Conference, SEC 2015), pages 339-353, Springer, IFIP Advances in Information and Communication Technology 455, 2015.
    [pdf]  [doi]  [bib]
16. Constructing Optimistic Multi-party Contract Signing Protocols. B. Kordy and S. Radomirović. In 25th IEEE Computer Security Foundations Symposium (CSF 2012), pages 215-229, IEEE Computer Society, 2012.
    [pdf]  [bib]
17. mCarve: Carving attributed dump sets. T. v. Deursen, S. Mauw and S. Radomirović. In 20th USENIX Security Symposium, pages 107-121, USENIX Association, 2011.
    Tool available at http://satoss.uni.lu/software/ccarve/
    [pdf]  [bib]
18. Contextual Biometric-based Authentication for Ubiquitous Services. I. Buhan, G. Lenzini and S. Radomirović. In 7th International Conference on Ubiquitous Intelligence and Computing (UIC 2010), pages 680-693, Springer-Verlag, LNCS 6406, 2010.
    [doi]  [bib]
19. Minimal message complexity of asynchronous multi-party contract signing. S. Mauw, S. Radomirović and M. T. Dashti. In 22nd IEEE Computer Security Foundations Symposium (CSF 2009), pages 13-25, IEEE Computer Society, 2009.
    [pdf]  [doi]  [bib]
20. Secure ownership and ownership transfer in RFID systems. T. v. Deursen, S. Mauw, S. Radomirović and P. Vullers. In 14th European Symposium On Research In Computer Security (ESORICS 2009), pages 637-654, Springer-Verlag, LNCS 5789, 2009.
    [pdf]  [doi]  [bib]

Journals

1. Verification of stateful cryptographic protocols with exclusive OR. J. Dreier, L. Hirschi, S. Radomirović and R. Sasse. In Journal of Computer Security, 28 (1): 1-34, 2020.
   [pdf]  [doi]  [bib]
2. Über die Sicherheit digitaler Coupons. S. Mazumder, M. Pouly and S. Radomirović. In digma, 2017: 232-237, 2017.
   [bib]
3. Improving the Security of Cryptographic Protocol Standards. D. Basin, C. Cremers, K. Miyazaki, S. Radomirović and D. Watanabe. In Security & Privacy, IEEE, 13 (3): 24-31, 2015.
   [doi]  [bib]
4. Attack--Defense Trees. B. Kordy, S. Mauw, S. Radomirović and P. Schweitzer. In Journal of Logic and Computation, 24 (1): 55-87, 2014.
   [pdf]  [doi]  [bib]
5. A Construction of Short Sequences Containing All Permutations of a Set as Subsequences. S. Radomirović. In Electronic Journal of Combinatorics, 19 (4): Paper 31, 11 pp., 2012.
   [pdf]  [bib]
6. On a new formal proof model for RFID location privacy. T. v. Deursen and S. Radomirović. In Information Processing Letters, 110 (2): 57-61, 2009.
   Extended version available at http://eprint.iacr.org/2008/477
   [doi]  [bib]
7. A framework for compositional verification of security protocols. S. Andova, C.J.F. Cremers, K. Gjøsteen, S. Mauw, S.F. Mjølsnes and S. Radomirović. In Information and Computation, 206: 425-459, 2008.
   [pdf]  [doi]  [bib]
8. Restricted walks in regular trees. L. Ciobanu and S. Radomirović. In Electronic Journal of Combinatorics, 13 (1): Research Paper 93, 18 pp., 2006.
   [pdf]  [bib]

Workshop Proceedings

1. From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security. L. Arnaboldi, D. Aspinall, C. Kolb and S. Radomirovic. In Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops - CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings, pages 88-100, Springer, Lecture Notes in Computer Science 15955, 2025.
   [pdf]  [doi]  [bib]
2. `I'm Doing the Best I Can.' -- Understanding Technology Literate Older Adults' Account Management Strategies. M. Abraham, M. Crabb and S. Radomirović. In Socio-Technical Aspects in Security and Trust - 11th International Workshop, STAST 2021, Revised Selected Papers, pages 86-107, Springer, Lecture Notes in Computer Science 13176, 2021.
   [pdf]  [doi]  [bib]
3. Shaping Our Mental Model of Security. S. Radomirović. In 27th Security Protocols Workshop (SPW 2019), pages 51-59, Springer-Verlag, LNCS 12287, 2019.
   [doi]  [bib]
4. Shaping Our Mental Model of Security (Transcript of Discussion). S. Radomirović. In 27th Security Protocols Workshop (SPW 2019), pages 60-68, Springer-Verlag, LNCS 12287, 2019.
   [doi]  [bib]
5. An Anti-Pattern for Misuse Cases. M. T. Dashti and S. Radomirović. In Computer Security -- ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, pages 250-261, Springer, LNCS 10683, 2018.
   [doi]  [bib]
6. Guided Specification and Analysis of a Loyalty Card System. L. Cuennet, M. Pouly and S. Radomirović. In Second International Workshop on Graphical Models for Security, GraMSec 2015, pages 66-81, Springer, LNCS 9390, 2016.
   [pdf]  [bib]
7. Alice and Bob Meet Equational Theories. D. Basin, M. Keller, S. Radomirović and R. Sasse. In Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, pages 160-180, LNCS 9200, 2015.
   [pdf]  [doi]  [bib]
8. Derailing Attacks. S. Radomirović and M. T. Dashti. In 23rd Security Protocols Workshop (SPW 2015), pages 41-46, Springer-Verlag, LNCS 9379, 2015.
   [pdf]  [doi]  [bib]
9. Location-private interstellar communication. H. Jonker, S. Mauw and S. Radomirović. In 23rd Security Protocols Workshop (SPW 2015), pages 105-115, Springer-Verlag, LNCS 9379, 2015.
   [pdf]  [doi]  [bib]
10. Insider attacks and privacy of RFID protocols. T. v. Deursen and S. Radomirović. In Public Key Infrastructures, Services and Applications (EuroPKI 2011), pages 91-105, Springer-Verlag, LNCS 7163, 2012.
    [pdf]  [doi]  [bib]
11. Security protocols for Secret Santa. S. Mauw, S. Radomirović and P.Y. Ryan. In Security Protocols XVIII, pages 175-184, Springer-Verlag, LNCS 7061, 2014.
    [pdf]  [bib]
12. EC-RAC: Enriching a Capacious RFID Attack Collection. T. v. Deursen and S. Radomirović. In Radio Frequency Identification: Security and Privacy Issues (RFIDSec 2010), pages 75-90, Springer-Verlag, LNCS 6370, 2010.
    [pdf]  [doi]  [bib]
13. Foundations of Attack--Defense Trees. B. Kordy, S. Mauw, S. Radomirović and P. Schweitzer. In 7th International Workshop on Formal Aspects in Security and Trust (FAST 2010), pages 80-95, Springer-Verlag, LNCS 6561, 2011.
    [pdf]  [doi]  [bib]
14. Algebraic Attacks on RFID Protocols. T. v. Deursen and S. Radomirović. In Information Security Theory and Practices. Smart Devices, Pervasive Systems, and Ubiquitous Networks (WISTP 2009), pages 38-51, Springer-Verlag, LNCS 5746, 2009.
    [pdf]  [doi]  [bib]
15. Towards a Decision Model Based on Trust and Security Risk Management. B. Alcalde, E. Dubois, S. Mauw, N. Mayer and S. Radomirović. In Seventh Australasian Information Security Conference (AISC 2009), pages 61-69, Australian Computer Society, CRPIT 98, 2009.
    [bib]
16. Security of an RFID Protocol for Supply Chains. T. v. Deursen and S. Radomirović. In IEEE Int. Conf. e-Business Engineering (ICEBE 2008), pages 568-573, IEEE Computer Society, 2008.
    [pdf]  [doi]  [bib]
17. Security of RFID Protocols -- A Case Study. T. v. Deursen and S. Radomirović. In 4th International Workshop on Security and Trust Management (STM 2008), pages 41-52, Elsevier, ENTCS 244, 2009.
    [pdf]  [doi]  [bib]
18. Untraceability of RFID Protocols. T. v. Deursen, S. Mauw and S. Radomirović. In Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks (WISTP 2008), pages 1-15, Springer-Verlag, LNCS 5019, 2008.
    [pdf]  [doi]  [bib]
19. Chosen-name attacks: An overlooked class of type-flaw attacks. P. Ceelen, S. Mauw and S. Radomirović. In 3rd International Workshop on Security and Trust Management (STM 2007), pages 31-43, Dresden, Germany, ENTCS 197, 2008.
    [pdf]  [doi]  [bib]
20. An example of proving UC-realization with formal methods. S. Andova, K. Gjøsteen, L. Kråkmo, F. Mjølsnes and S. Radomirović. Workshop on Formal and Computational Cryptography (FCC 2006), 2006.
    [pdf]  [bib]

Technical Reports, Notes, and Preprints

1. Attacks on RFID protocols (version 1.1). T. v. Deursen and S. Radomirović. Cryptology ePrint Archive, Report 2008/310, 2009.
   http://eprint.iacr.org/2008/310
   [pdf]  [bib]
2. Untraceable RFID protocols are not trivially composable: Attacks on the revision of EC-RAC. T. v. Deursen and S. Radomirović. Cryptology ePrint Archive, Report 2009/332, 2009.
   http://eprint.iacr.org/2009/332
   [pdf]  [bib]
3. An example of proving UC-realization with formal methods. S. Andova, K. Gjøsteen, L. Kråkmo, F. Mjølsnes and S. Radomirović. Workshop on Formal and Computational Cryptography (FCC 2006), 2006.
   [pdf]  [bib]