Home // SnT // People // Gergely Bana

Gergely Bana

Gergely Bana

Research associate

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


Full Text
See detailFormal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker
Bana, Gergely; Chadha, Rohit; Eeralla, Ajay

in Computer Security (2018)

Top of Page


See detailModels of Objective Chance: An Analysis through Examples
Bana, Gergely

in Making it Formally Explicit (2017)

Top of Page


Full Text
See detailOn the Formal Consistency of the Principal Principle
Bana, Gergely

in Philosophy of Science (2016)

Full Text
See detailSemantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4
Bana, Gergely; Okada, Mitsuhiro

in Proceedings of the 25th EACSL Annual Conference on Computer Science Logic (2016)

Top of Page