Projects per year
Personal profile
Education/Academic qualification
Doctor of Philosophy, Cusp Forms Over Function Fields and Modular Symbols, Rutgers - The State University of New Jersey, New Brunswick
Sept 1999 → 2005
Award Date: 1 Oct 2005
Swiss Federal Institute of Technology Zurich
Sept 1993 → 1998
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 1 Finished
-
ColourSpecs A Wearable System for Presenting Colour Information to People with Impaired Colour Vision
Radomirovic, S. (Investigator)
Engineering and Physical Sciences Research Council
1/02/17 → 31/07/18
Project: Research
-
Verification of Stateful Cryptographic Protocols with Exclusive OR
Dreier, J., Hirschi, L., Radomirović, S. & Sasse, R. (Lead / Corresponding author), 4 Feb 2020, In: Journal of Computer Security. 28, 1, 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile468 Downloads (Pure) -
A Formal Analysis of 5G Authentication
Basin, D., Dreier, J., Hirschi, L., Radomirović, S., Sasse, R. & Stettler, V., 8 Oct 2018, 25th ACM Conference on Computer and Communications Security. Association for Computing Machinery (ACM), Vol. 2018. p. 1383-1396 21 p. 745Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile285 Citations (Scopus)323 Downloads (Pure) -
Alethea: A Provably Secure Random Sample Voting Protocol
Basin, D., Radomirović, S. & Schmid, L., 9 Aug 2018, Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018. IEEE, p. 283-297 15 p. 8429312Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile20 Citations (Scopus)360 Downloads (Pure) -
An Anti-Pattern for Misuse Cases
Dashti, M. T. & Radomirović, S., 2018, Computer Security - ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Revised Selected Papers: ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers. Katsikas, S. K., Cuppens, F., Cuppens, N., Lambrinodakis, C., Kalloniatis, C., Mylopoulos, J., Anton, A. & Gritzalis, S. (eds.). Switzerland: Springer , Vol. 10683. p. 250-261 12 p. (Lecture Notes in Computer Science; vol. 10683).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile382 Downloads (Pure) -
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
Dreier, J., Hirschi, L., Radomirović, S. & Sasse, R., 7 Aug 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF). 31st ed. IEEE, p. 359-373 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile37 Citations (Scopus)267 Downloads (Pure)