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

A Formal Analysis of 5G Authentication

Autor: Jannik Dreier, Saša Radomirović, Vincent Stettler, David Basin, Ralf Sasse, Lucca Hirschi

Publikováno v: ACM CCS 2018-25th ACM Conference on Computer and Communications Security
ACM CCS 2018-25th ACM Conference on Computer and Communications Security, Oct 2018, Toronto, Canada. ⟨10.1145/3243734.3243846⟩
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS'18)
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security

Mobile communication networks connect much of the world's population. The security of users' calls, SMSs, and mobile data depends on the guarantees provided by the Authenticated Key Exchange protocols used. For the next-generation network (5G), the 3

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b667b32ec0b7ef738f770e2b018ef6f
https://hal.archives-ouvertes.fr/hal-01898050/file/CCS18_finalcrc2_Fixed-Typo.pdf

Alethea: A Provably Secure Random Sample Voting Protocol

Autor: David Basin, Lara Schmid, Saša Radomirović

Publikováno v: IEEE 31th Computer Security Foundations Symposium: CSF 2018: 9-12 July 2018, Oxford, United Kingdom: Proceedings
CSF

IEEE 31th Computer Security Foundations Symposium: CSF 2018: 9-12 July 2018, Oxford, United Kingdom: Proceedings
ISBN:978-1-5386-6680-7
ISBN:978-1-5386-6681-4

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d87a63d46ee82389f78214e63a4090f1