E-LIB Suche - Ergebnisse für: Radomirović, Saša

1

Tactics for Account Access Graphs:

, In: Computer Security – ESORICS 2023; Lecture Notes in Computer Science,

Arnaboldi, Luca ; Aspinall, David ; Kolb, Christina. - p. 452-470 , 2024

Link: https://doi.org/10.1007/..

2

"I'm Doing the Best I Can.": Understanding Technology Liter..:

, In: Socio-Technical Aspects in Security; Lecture Notes in Computer Science,

Abraham, Melvin ; Crabb, Michael ; Radomirović, Saša - p. 86-107 , 2022

Link: https://doi.org/10.1007/..

3

Session details: Theme: System software and security: SEC -..:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,

Bella, Giampaolo ; Radomirović, Saša , 2022

Link: https://dl.acm.org/doi/1..

4

"I'm Surprised So Much Is Connected":

, In: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems,

Hammann, Sven ; Crabb, Michael ; Radomirovic, Sasa.. - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

5

Verifying Table-Based Elections:

, In: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security,

Basin, David ; Dreier, Jannik ; Giampietro, Sofia. - p. 2632-2652 , 2021

Link: https://dl.acm.org/doi/1..

6

Shaping Our Mental Model of Security (Transcript of Discuss..:

, In: Security Protocols XXVII; Lecture Notes in Computer Science,

Radomirović, Saša - p. 60-68 , 2020

Link: https://doi.org/10.1007/..

7

Dispute Resolution in Voting:

, In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF),

Basin, David ; Radomirovic, Sasa ; Schmid, Lara - p. 1-16 , 2020

Link: https://doi.org/10.1109/..

8

Shaping Our Mental Model of Security:

, In: Security Protocols XXVII; Lecture Notes in Computer Science,

Radomirović, Saša - p. 51-59 , 2020

Link: https://doi.org/10.1007/..

9

User Account Access Graphs:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,

Hammann, Sven ; Radomirović, Saša ; Sasse, Ralf. - p. 1405-1422 , 2019

Link: https://dl.acm.org/doi/1..

10

A Formal Analysis of 5G Authentication:

, In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security,

Basin, David ; Dreier, Jannik ; Hirschi, Lucca... - p. 1383-1396 , 2018

Link: https://dl.acm.org/doi/1..

11

Force Open: Lightweight black box file repair:

Wüst, Karl ; Tsankov, Petar ; Radomirović, Saša.
Digital Investigation. 20 (2017) - p. S75-S82 , 2017

Link: https://doi.org/10.1016/..

12

Improving the Security of Cryptographic Protocol Standards:

Basin, David ; Cremers, Cas ; Miyazaki, Kunihiko..
IEEE Security & Privacy. 13 (2015) 3 - p. 24-31 , 2015

Link: https://doi.org/10.1109/..

13

On a new formal proof model for RFID location privacy:

van Deursen, Ton ; Radomirović, Saša
Information Processing Letters. 110 (2009) 2 - p. 57-61 , 2009

Link: https://doi.org/10.1016/..

14

Security of RFID Protocols – A Case Study:

van Deursen, Ton ; Radomirović, Saša
Electronic Notes in Theoretical Computer Science. 244 (2009) - p. 41-52 , 2009

Link: https://doi.org/10.1016/..

15

A framework for compositional verification of security prot..:

Andova, Suzana ; Cremers, Cas ; Gjøsteen, Kristian...
Information and Computation. 206 (2008) 2-4 - p. 425-459 , 2008

Link: https://doi.org/10.1016/..