Follow
Sasa Radomirovic
Sasa Radomirovic
Verified email at surrey.ac.uk - Homepage
Title
Cited by
Cited by
Year
A formal analysis of 5G authentication
D Basin, J Dreier, L Hirschi, S Radomirovic, R Sasse, V Stettler
Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018
4782018
Foundations of attack–defense trees
B Kordy, S Mauw, S Radomirović, P Schweitzer
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010 …, 2011
3842011
Attack–defense trees
B Kordy, S Mauw, S Radomirović, P Schweitzer
Journal of Logic and Computation 24 (1), 55-87, 2014
2302014
Attack trees with sequential conjunction
R Jhawar, B Kordy, S Mauw, S Radomirović, R Trujillo-Rasua
IFIP International Information Security and Privacy Conference, 339-353, 2015
1292015
Attacks on RFID protocols
T Van Deursen, S Radomirović
Cryptology ePrint Archive 2008 (310), 1-56, 2009
1292009
Untraceability of RFID protocols
T Van Deursen, S Mauw, S Radomirović
Information Security Theory and Practices. Smart Devices, Convergence and …, 2008
952008
A framework for compositional verification of security protocols
S Andova, C Cremers, K Gjøsteen, S Mauw, SF Mjølsnes, S Radomirović
Information and Computation 206 (2-4), 425-459, 2008
892008
Towards a model for security and privacy in the internet of things
S Radomirovic
Proc. First Int’l Workshop on Security of the Internet of Things 6, 2010
652010
Modeling human errors in security protocols
D Basin, S Radomirovic, L Schmid
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 325-340, 2016
622016
Secure ownership and ownership transfer in RFID systems
T Van Deursen, S Mauw, S Radomirović, P Vullers
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
582009
Automated unbounded verification of stateful cryptographic protocols with exclusive OR
J Dreier, L Hirschi, S Radomirovic, R Sasse
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 359-373, 2018
522018
Algebraic attacks on RFID protocols
T Van Deursen, S Radomirović
Information Security Theory and Practice. Smart Devices, Pervasive Systems …, 2009
512009
Security of RFID protocols–a case study
T van Deursen, S Radomirović
Electronic Notes in Theoretical Computer Science 244, 41-52, 2009
482009
Untraceable RFID protocols are not trivially composable: Attacks on the revision of EC-RAC
T van Deursen, S Radomirović
Cryptology ePrint Archive 2009 (332), 1-8, 2009
422009
A complete characterization of secure human-server communication
D Basin, S Radomirovic, M Schläepfer
2015 IEEE 28th Computer Security Foundations Symposium, 199-213, 2015
372015
Alethea: A provably secure random sample voting protocol
D Basin, S Radomirovic, L Schmid
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 283-297, 2018
322018
Attacks on RFID protocols
T Deursen, S Radomirovic
IACR EPrint, July, 2008
322008
Improving the security of cryptographic protocol standards
D Basin, C Cremers, K Miyazaki, S Radomirovic, D Watanabe
IEEE Security & Privacy 13 (3), 24-31, 2014
312014
On a new formal proof model for RFID location privacy
T Van Deursen, S Radomirović
Information Processing Letters 110 (2), 57-61, 2009
292009
Minimal message complexity of asynchronous multi-party contract signing
S Mauw, S Radomirovic, MT Dashti
2009 22nd IEEE Computer Security Foundations Symposium, 13-25, 2009
292009
The system can't perform the operation now. Try again later.
Articles 1–20