Gergely Bana
|
|
||||
| Faculty or Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Research Unit | SnT | ||||
| Postal Address |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
| Campus Office | MNO, E02 0235-010 | ||||
|
|||||
| Telephone | (+352) 46 66 44 6004 | ||||
| Fax | (+352) 46 66 44 36004 | ||||
Gergei Bana received his PhD in mathematics from the University of Pennsylvania in 2004. He has since then held several research and visiting professor positions in the US, Portugal, France and Japan. His primary research focus concerns verification of security protocols. More generally, he is interested in applications of logical techniques in computer science. Gergely joined the Applied Security and Information Assurance group (APSIA) headed by Prof. Peter Ryan. He will work on the design and verification of e-voting protocols.
Last updated on: Wednesday, 26 July 2017
powered by
2018
Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker; ;
in Computer Security (2018)
2017
Top of Page
2016
Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4;
in Proceedings of the 25th EACSL Annual Conference on Computer Science Logic (2016)
