Sasa Radomirovic

+44 (0)1382 385317
Senior Lecturer

Publications

Basin, D, Dreier, J, Hirschi, L, Radomirović, S, Sasse, R & Stettler, V 2018,

Formal Analysis of 5G Authentication. in 25th ACM Conference on Computer and Communications Security. vol. 2018, 745, Association for Computing Machinery (ACM), pp. 1383-1396.
https://doi.org/10.1145/3243734.3243846

Research output: Contribution To Book Anthology



Dreier, J, Hirschi, L, Radomirović, S & Sasse, R 2018,

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. in 2018 IEEE 31st Computer Security Foundations Symposium (CSF). 31st edn, IEEE, pp. 359-373, 31st IEEE Computer Security Foundations Symposium, Oxford, United Kingdom, 9/07/18.
https://doi.org/10.1109/CSF.2018.00033

Research output: Contribution To Book Anthology



Basin, D, Radomirović, S & Schmid, L 2018,

Alethea: A Provably Secure Random Sample Voting Protocol. in Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018. vol. 2018-July, 8429312, IEEE Computer Society, pp. 283-297, 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, 9/07/18.
https://doi.org/10.1109/CSF.2018.00028

Research output: Contribution To Book Anthology



Dashti, MT & Radomirović, S 2018,

An Anti-Pattern for Misuse Cases. in SK Katsikas, F Cuppens, N Cuppens, C Lambrinodakis, C Kalloniatis, J Mylopoulos, A Anton & S Gritzalis (eds), Computer Security - ESORICS 2017 International Workshops, Cyber ICPS 2017 and SECPRE 2017, Revised Selected Papers: ESORICS 2017 International Workshops, Cyber ICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers. vol. 10683, Lecture Notes in Computer Science, vol. 10683, Springer , Switzerland, pp. 250-261, 1st International Workshop on SECurity and Privacy Requirements Engineering, Oslo, Norway, 14/09/17.
https://doi.org/10.1007/978-3-319-72817-9_16

Research output: Contribution To Book Anthology



Wust, K, Tsankov, P, Radomirovic, S & Dashti, MT 2017,

'Force Open: Lightweight black box file repair' Digital Investigation, vol. 20, no. Suppl., pp. S75-S82.
https://doi.org/10.1016/j.diin.2017.01.009

Research output: Contribution To Journal



Basin, D, Radomirovic, S & Schmid, L 2016,

Modeling human errors in security protocols. in IEEE 29th Computer Security Foundations Symposium CSF 2016: Proceedings. Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, Piscataway, pp. 325-340, 29th IEEE Computer Security Foundations Symposium, Lisbon, Portugal, 27/06/16.
https://doi.org/10.1109/CSF.2016.30

Research output: Contribution To Book Anthology



Cuennet, L, Pouly, M & Radomirović, S 2016,

Guided Specification and Analysis of a Loyalty Card System. in S Mauw, B Kordy & S Jajodia (eds), Graphical Models for Security: Second International Workshop, Gra MSec 2015 Verona, Italy, July 13, 2015 Revised Selected Papers. Lecture Notes in Computer Science, vol. 9390, pp. 66-81, Second International Workshop on Graphical Models for Security, Verona, Italy, 13/07/15.
https://doi.org/10.1007/978-3-319-29968-6_5

Research output: Contribution To Book Anthology



Mauw, S & Radomirović, S 2015,

Generalizing multi-party contract signing. in R Focardi & A Myers (eds), Principles of Security and Trust: 4th International Conference, POST 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings. Lecture Notes in Computer Science , vol. 9036, Springer Verlag, Berlin, pp. 156-175, 4th International Conference on Principles of Security and Trust, London, United Kingdom, 16/04/15.
https://doi.org/10.1007/978-3-662-46666-7_9

Research output: Contribution To Book Anthology



Radomirovíc, S & Dashti, MT 2015,

Derailing Attacks. in B Christianson, P Švenda, V Matyáš, J Malcolm, F Stajano & J Anderson (eds), Security Protocols XXIII : 23rd International Workshop Cambridge, UK, March 31 – April 2, 2015 Revised Selected Papers. Lecture Notes in Computer Science , vol. 9379, Switzerland, pp. 41-46, 23rd International Workshop on Security Protocols, Cambridge, United Kingdom, 31/03/15.
https://doi.org/10.1007/978-3-319-26096-9_5

Research output: Contribution To Book Anthology



Jhawar, R, Kordy, B, Mauw, S, Radomirović, S & Trujillo-Rasua, R 2015,

Attack Trees with Sequential Conjunction. in H Federrath & D Gollmann (eds), ICT Systems Security and Privacy Protection : 30th IFIP TC 11 International Conference, SEC 2015 Hamburg, Germany, May 26–28, 2015 Proceedings. IFIP Advances in Information and Communication Technology, vol. 455, Switzerland, pp. 339-353, 30th International Conference on ICT Systems Security and Privacy Protection, Hamburg, Germany, 26/05/15.
https://doi.org/10.1007/978-3-319-18467-8_23

Research output: Contribution To Book Anthology



Basin, D, Radomirović, S & Schläepfer, M 2015,

A Complete Characterization of Secure Human-Server Communication. in 2015 IEEE 28th Computer Security Foundations Symposium, CSF 2015: Proceedings. Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, Piscataway, pp. 199-213, 28th IEEE Computer Security Foundations Symposium, Verona, Italy, 13/07/15.
https://doi.org/10.1109/CSF.2015.21

Research output: Contribution To Book Anthology



Basin, D, Keller, M, Radomirović, S & Sasse, R 2015,

Alice and Bob Meet Equational Theories. in N Martí-Oliet, P Csaba Ölveczky & C Talcott (eds), Logic, Rewriting and Concurrency : Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science , vol. 9200, Switzerland, pp. 160-180, Logic, Rewriting, and Concurrency, Urbana, United States, 23/09/15.
https://doi.org/10.1007/978-3-319-23165-5_7

Research output: Contribution To Book Anthology



Basin, D, Cremers, C, Miyazaki, K, Radomirović, S & Watanabe, D 2015,

'Improving the Security of Cryptographic Protocol Standards' IEEE Security and Privacy, vol. 13, no. 3, pp. 24-31.
https://doi.org/10.1109/MSP.2013.162

Research output: Contribution To Journal



Jonker, H, Mauw, S & Radomirović, S 2015,

Location-Private Interstellar Communication. in B Christianson, P Švenda, V Matyáš, J Malcolm, F Stajano & J Anderson (eds), Security Protocols XXIII : 23rd International Workshop Cambridge, UK, March 31 – April 2, 2015 Revised Selected Papers. Lecture Notes in Computer Science , vol. 9379, Switzerland, pp. 105-115, 23rd International Workshop on Security Protocols, Cambridge, United Kingdom, 31/03/15.
https://doi.org/10.1007/978-3-319-26096-9_11

Research output: Contribution To Book Anthology



Kordy, B, Mauw, S, Radomirović, S & Schweitzer, P 2014,

'Attack-defense trees' Journal of Logic and Computation, vol. 24, no. 1, pp. 55-87.
https://doi.org/10.1093/logcom/exs029

Research output: Contribution To Journal



Mauw, S, Radomirović, S & Ryan, PYA 2014,

Security protocols for secret Santa. in B Christianson & J Malcolm (eds), Security Protocols XVIII : 18th International Workshop Cambridge, UK, March 24-26, 2010 Revised Selected Papers. Lecture Notes in Computer Science , vol. 7061, Springer Verlag, Berlin, pp. 175-184, 18th International Workshop Security Protocols, Cambridge, United Kingdom, 24/03/10.
https://doi.org/10.1007/978-3-662-45921-8_26

Research output: Contribution To Book Anthology



Radomirović, S 2012,

'A construction of short sequences containing all permutations of a set as subsequences' Electronic Journal of Combinatorics, vol. 19, no. 4, 31, pp. 1-11.

Research output: Contribution To Journal



Van Deursen, T & Radomirović, S 2012,

Insider Attacks and Privacy of RFID Protocols. in S Petkova-Nikova, A Pashalidis & G Pernul (eds), Public Key Infrastructures, Services, and Applications: 8th European Workshop, Euro PKI 2011 Leuven, Belgium, September 15-16, 2011 Revised Selected Papers. Lecture Notes in Computer Science , vol. 7163 , Springer Verlag, Berlin, pp. 91-105, 8th European Workshop on Public Key Infrastructures, Services, and Applications , Leuven, Belgium, 15/09/11.
https://doi.org/10.1007/978-3-642-29804-2_6

Research output: Contribution To Book Anthology



Kordy, B & Radomirović, S 2012,

Constructing Optimistic Multi-party Contract Signing Protocols. in 2012 IEEE 25th Computer Security Foundations Symposium, CSF 2012 : Proceedings. Institute of Electrical and Electronics Engineers, Piscataway, pp. 215-229, 25th IEEE Computer Security Foundations Symposium, Cambridge, United States, 25/06/12.
https://doi.org/10.1109/CSF.2012.23

Research output: Contribution To Book Anthology



Kordy, B, Mauw, S, Radomirović, S & Schweitzer, P 2011,

Foundations of Attack–Defense Trees. in P Degano, S Etalle & J Guttman (eds), Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Revised Selected Papers. Lecture Notes in Computer Science , vol. 6561, Springer Verlag, Berlin, pp. 80-95, 7th International Workshop on Formal Aspects of Security and Trust, Pisa, Italy, 16/09/10.
https://doi.org/10.1007/978-3-642-19751-2_6

Research output: Contribution To Book Anthology



van Deursen, T, Mauw, S & Radomirović, S 2011,

m Carve: Carving Attributed Dump Sets. in Proceedings of the 20th USENIX Security Symposium. USENIX Association, United States, pp. 107-121, 20th USENIX Security Symposium, San Francisco, United States, 8/08/11.

Research output: Contribution To Book Anthology



Buhan, I, Lenzini, G & Radomirović, S 2010,

Contextual Biometric-Based Authentication for Ubiquitous Services. in Z Yu, R Liscano, G Chen, D Zhang & X Zhou (eds), Ubiquitous Intelligence and Computing : 7th International Conference, UIC 2010 Xi’an, China, October 26-29, 2010 Proceedings. Lecture Notes in Computer Science , vol. 6406 , Springer Verlag, Berlin, pp. 680-693, 7th International Conference on Ubiquitous Intelligence and Computing , Xi'an, China, 26/10/10.
https://doi.org/10.1007/978-3-642-16355-5_51

Research output: Contribution To Book Anthology



van Deursen, T & Radomirović, S 2010,

EC-RAC: Enriching a Capacious RFID Attack Collection. in S Berna & O Yalcin (eds), Radio Frequency Identification: Security and Privacy Issues - 6th International Workshop, RFIDSec 2010 Istanbul, Turkey, June 8-9, 2010 Revised Selected Papers. Lecture Notes in Computer Science , vol. 6370 , Springer Verlag, Berlin, pp. 75-90, 6th International Workshop on Radio Frequency Identification: Security and Privacy Issues , Istanbul, Turkey, 8/06/10.
https://doi.org/10.1007/978-3-642-16822-2_8

Research output: Contribution To Book Anthology



van Deursen, T & Radomirović, S 2009,

'On a new formal proof model for RFID location privacy' Information Processing Letters, vol. 110, no. 2, pp. 57-61.
https://doi.org/10.1016/j.ipl.2009.10.007

Research output: Contribution To Journal



van Deursen, T & Radomirović, S 2009,

'Attacks on RFID Protocols' vol. 2008, no. 310, pp. 1-56.

Research output: Contribution To Journal



van Deursen, T & Radomirović, S 2009,

'Security of RFID Protocols - A Case Study' Electronic Notes in Theoretical Computer Science, vol. 244, pp. 41-52.
https://doi.org/10.1016/j.entcs.2009.07.037

Research output: Contribution To Journal



van Deursen, T & Radomirović, S 2009,

'Untraceable RFID protocols are not trivially composable: Attacks on the revision of EC-RAC' vol. 2009, no. 332, pp. 1-8.

Research output: Contribution To Journal



van Deursen, T & Radomirović, S 2009,

Algebraic Attacks on RFID Protocols. in O Markowitch, A Bilas, J-H Hoepman , CJ Mitchell & J-J Quisquater (eds), Information Security Theory and Practice: Smart Devices, Pervasive Systems, and Ubiquitous Networks - Third IFIPWG 11.2 International Workshop, WISTP2009 Brussels, Belgium, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science , vol. 5746 , Springer Verlag, Berlin, pp. 38-51, 3rd Workshop in Information Security Theory and Practices, Brussels, Belgium, 1/09/09.
https://doi.org/10.1007/978-3-642-03944-7_4

Research output: Contribution To Book Anthology



Mauw, S, Radomirović, S & Dashti, MT 2009,

Minimal Message Complexity of Asynchronous Multi-party Contract Signing. in Proceedings of the 22nd IEEE Computer Security Foundations Symposium: CSF 2009, 8-10 July 2009 / Port Jefferson, New York, USA. Proceedings of the IEEE, IEEE Computer Society, Los Alamitos, pp. 13-25, 22nd IEEE Computer Security Foundations Symposium, Port Jefferson, United States, 8/07/09.
https://doi.org/10.1109/CSF.2009.15

Research output: Contribution To Book Anthology



van Deursen, T, Mauw, S, Radomirović, S & Vullers, P 2009,

Secure Ownership and Ownership Transfer in RFID Systems. in M Backes & P Ning (eds), Computer Security - ESORICS 2009 : 14th European Symposium on Research in Computer Security Saint-Malo, France, September 21-23, 2009. Proceedings. Lecture Notes in Computer Science , vol. 5789 , Springer Verlag, Berlin, pp. 637-654, 14th European Symposium on Research in Computer Security, Saint-Malo, France, 21/09/09.
https://doi.org/10.1007/978-3-642-04444-1_39

Research output: Contribution To Book Anthology



Alcade, B, Dubois, E, Mauw, S, Mayer, N & Radomirović, S 2009,

Towards a Decision Model Based on Trust and Security Risk Management. in L Brankovic & W Susilo (eds), Information Security 2009: Proceedings of the Seventh Australasian Information Security Conference (AISC 2009), Wellington, New Zealand, January 2009. Conferences in Research and Practice in Information Technology, vol. 98, Australian Computer Society, Sydney, pp. 61-69, Seventh Australasian Information Security Conference, Wellington, New Zealand, 20/01/09.

Research output: Contribution To Book Anthology



Ceelen, P, Mauw, S & Radomirović, S 2008,

'Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks' Electronic Notes in Theoretical Computer Science, vol. 197, no. 2, pp. 31-43.
https://doi.org/10.1016/j.entcs.2007.12.015

Research output: Contribution To Journal



van Deursen, T & Radomirović, S 2008,

Security of an RFID Protocol for Supply Chains. in J-Y Chung & M Younas (eds), Proceedings of the ICEBE 2008 IEEE International Conference on e-Business Engineering; Ai R 2008 IEEE International Workshop on Advances in RFID; EM2I 2008 IEEE International Workshop on E-Marketplace Integration and Interoperability; SOAIC 2008 IEEE International Workshop on Service-Oriented Applications, Integration and Collaboration; SOKM 2008 IEEE International Workshop on Service-Oriented Knowledge Management; BIMA 2008 IEEE International Workshop on Business Intelligence Methodologies and Applications; DKEEE 2008 IEEE International Workshop on Data and Knowledge Engineering for E-service and E-business, October 22-24, 2008 Xi’an, China . Institute of Electrical and Electronics Engineers, Piscataway, pp. 568-573, 2008 IEEE International Conference on E-Business Engineering, Xi'an, China, 22/10/08.
https://doi.org/10.1109/ICEBE.2008.44

Research output: Contribution To Book Anthology



Andova, S, Cremers, C, Gjøsteen, K, Mauw, S, Mjølsnes, SF & Radomirović, S 2008,

'A framework for compositional verification of security protocols' Information and Computation, vol. 206, no. 2-4, pp. 425-459.
https://doi.org/10.1016/j.ic.2007.07.002

Research output: Contribution To Journal



van Deursen, T, Mauw, S & Radomirović, S 2008,

Untraceability of RFID Protocols. in JA Onieva, D Sauveron, S Chaumette, D Gollmann & K Markantonakis (eds), Information Security Theory and Practices: Smart Devices, Convergence and Next Generation Networks - Second IFIP WG 11.2 International Workshop, WISTP 2008 Seville, Spain, May 13-16, 2008. Proceedings. Lecture Notes in Computer Science , vol. 5019 , Springer Verlag, Berlin, pp. 1-15, 2nd Workshop in Information Security Theory and Practices , Seville, Spain, 13/05/08.
https://doi.org/10.1007/978-3-540-79966-5_1

Research output: Contribution To Book Anthology



Ciobanu, L & Radomirović, S 2006,

'Restricted walks in regular trees' Electronic Journal of Combinatorics, vol. 13, R93, pp. 1-18.

Research output: Contribution To Journal



Andova, S, Gjøsteen, K, Kråkmo, L, Mjølsnes, SF & Radomirović, S 2006,

'An example of proving UC-realization with formal methods' Paper presented at 2nd Workshop on Formal and Computational Cryptography, Venice, Italy, 9/07/06 - 9/07/06, pp. 46-54.

Research output: Contribution To Conference



View full profile on research portal