Sasa Radomirovic
Sasa Radomirovic
Verifierad e-postadress på dundee.ac.uk - Startsida
TitelCiteras avÅr
Foundations of attack–defense trees
B Kordy, S Mauw, S Radomirović, P Schweitzer
International Workshop on Formal Aspects in Security and Trust, 80-95, 2010
2022010
Attack–defense trees
B Kordy, S Mauw, S Radomirović, P Schweitzer
Journal of Logic and Computation 24 (1), 55-87, 2014
1192014
Attacks on RFID Protocols.
T Van Deursen, S Radomirovic
IACR Cryptology ePrint Archive 2008 (310), 1-56, 2008
1172008
Untraceability of RFID protocols
T Van Deursen, S Mauw, S Radomirović
IFIP International Workshop on Information Security Theory and Practices, 1-15, 2008
812008
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
762008
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
532015
Secure ownership and ownership transfer in RFID systems
T Van Deursen, S Mauw, S Radomirović, P Vullers
European Symposium on Research in Computer Security, 637-654, 2009
482009
Algebraic attacks on RFID protocols
T Van Deursen, S Radomirović
IFIP International Workshop on Information Security Theory and Practices, 38-51, 2009
442009
Security of RFID protocols–a case study
T van Deursen, S Radomirović
Electronic Notes in Theoretical Computer Science 244, 41-52, 2009
422009
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
362018
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, 2010
332010
Untraceable RFID protocols are not trivially composable: Attacks on the revision of EC-RAC.
T van Deursen, S Radomirovic
IACR Cryptology ePrint Archive 2009, 332, 2009
322009
On a new formal proof model for RFID location privacy
T Van Deursen, S Radomirović
Information Processing Letters 110 (2), 57-61, 2009
272009
Security of an RFID protocol for supply chains
T van Deursen, S Radomirovic
2008 IEEE International Conference on e-Business Engineering, 568-573, 2008
242008
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
222014
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
222009
Towards a decision model based on trust and security risk management
B Alcalde, E Dubois, S Mauw, N Mayer, S Radomirović
Proceedings of the Seventh Australasian Conference on Information Security …, 2009
222009
EC-RAC: enriching a capacious RFID attack collection
T Van Deursen, S Radomirović
International Workshop on Radio Frequency Identification: Security and …, 2010
182010
Modeling human errors in security protocols
D Basin, S Radomirovic, L Schmid
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 325-340, 2016
172016
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
172015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20