20062020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Sasa Radomirovic is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 24 Conference contribution
  • 9 Article

Dispute Resolution in Voting

Basin, D., Radomirovic, S. & Schmid, L., 17 Apr 2020, (Accepted/In press) CSF 2020 - 33rd IEEE Computer Security Foundations Symposium. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • User account access graphs

    Hammann, S., Radomirović, S., Sasse, R. & Basin, D., 6 Nov 2019, CCS 2019: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1405-1422 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A formal analysis of 5g authentication

    Basin, D., Dreier, J., Hirschi, L., Radomirovic, S., Sasse, R. & Stettler, V., Oct 2018, CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1383-1396 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 39 Citations (Scopus)
    1 Downloads (Pure)

    Alethea: A provably secure random sample voting protocol

    Basin, D., Radomirovic, S. & Schmid, L., 9 Aug 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF). IEEE, p. 283-297 15 p. (IEEE Computer Security Foundations Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    4 Citations (Scopus)
    3 Downloads (Pure)

    Automated unbounded verification of stateful cryptographic protocols with exclusive OR

    Dreier, J., Hirschi, L., Radomirovic, S. & Sasse, R., 9 Aug 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF). IEEE, p. 359-373 15 p. (IEEE Computer Security Foundations Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 13 Citations (Scopus)
    2 Downloads (Pure)