Reference : Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/36635
Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker
English
Bana, Gergely mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Chadha, Rohit mailto [University of Missouri - MU > Computer Science]
Eeralla, Ajay mailto [University of Missouri - MU > Computer Science]
2018
Computer Security
350–372
Yes
ESORICS 2018, 23rd European Symposium on Research in Computer Security
2018
http://hdl.handle.net/10993/36635

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Esorics18.pdfPublisher postprint1.1 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.