متابعة
Sasa Radomirovic
Sasa Radomirovic
University of Surrey
بريد إلكتروني تم التحقق منه على surrey.ac.uk - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
4902018
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‏
3862011
Attack–defense trees‏
B Kordy, S Mauw, S Radomirović, P Schweitzer‏
Journal of Logic and Computation 24 (1), 55-87, 2014‏
2342014
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‏
1302015
Attacks on RFID protocols‏
T Van Deursen, S Radomirović‏
Cryptology ePrint Archive 2008 (310), 1-56, 2009‏
1302009
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‏
642016
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‏
572009
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‏
542018
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
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‏
302009
On a new formal proof model for RFID location privacy‏
T Van Deursen, S Radomirović‏
Information Processing Letters 110 (2), 57-61, 2009‏
292009
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20