| Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker |
| English |
| Bana, Gergely [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] |
| Chadha, Rohit [University of Missouri - MU > Computer Science] |
| Eeralla, Ajay [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 |