Session details: Theme: System software and security: SEC - computer security track

Autor: Giampaolo Bella, Saša Radomirović

Publikováno v: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::72d684b2de339e55148a76928c001c49
https://doi.org/10.1145/3535445

Verifying Table-Based Elections

Autor: Jannik Dreier, Saša Radomirović, Sofia Giampietro, David Basin

Publikováno v: CCS
CCS 2021-ACM SIGSAC Conference on Computer and Communications Security
CCS 2021-ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2632-2652, ⟨10.1145/3460120.3484555⟩
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2632-2652, ⟨10.1145/3460120.3484555⟩

International audience; Verifiability is a key requirement for electronic voting. However, the use of cryptographic techniques to achieve it usually requires specialist knowledge to understand; hence voters cannot easily assess the validity of such a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08da6a93972b27611934171e87a8dfcf
https://doi.org/10.1145/3460120.3484555

Shaping Our Mental Model of Security (Transcript of Discussion)

Autor: Saša Radomirović

Publikováno v: Security Protocols XXVII ISBN: 9783030570422
Security Protocols Workshop

This talk is not on a completed piece of research, it is a work in progress. One of our biggest challenges at the moment is how to improve cyber security and people are at the heart of it. A lot has been written about safety and human error. There’

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7a4367dd1c4b995d34faae063337078f
https://doi.org/10.1007/978-3-030-57043-9_6

User Account Access Graphs

Autor: Saša Radomirović, David Basin, Ralf Sasse, Sven Hammann

Publikováno v: CCS
CCS '19 Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security

The primary authentication method for a user account is rarely the only way to access that account. Accounts can often be accessed through other accounts, using recovery methods, password managers, or single sign-on. This increases each account’s a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc9eaceb738a59f655ac2f9767621ddf
https://doi.org/10.1145/3319535.3354193

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

Autor: Jannik Dreier, Lucca Hirschi, Saša Radomirović, Ralf Sasse

Publikováno v: CSF'2018-31st IEEE Computer Security Foundations Symposium
CSF'2018-31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00033⟩
2018 IEEE 31st Computer Security Foundations Symposium (CSF)
IEEE 31th Computer Security Foundations Symposium: CSF 2018: 9-12 July 2018, Oxford, United Kingdom: Proceedings
CSF

Exclusive-or (XOR) operations are common in cryptographic protocols, in particular in RFID protocols and electronic payment protocols. Although there are numerous applications, due to the inherent complexity of faithful models of XOR, there is only l

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7676a72dba8bdaa7c1ab53407fb2ebae
https://hal.science/hal-01780603/file/paper-final.pdf