Concepedia

Gergei Bana

GB

Statistics

Publications

3

Citations

106

H-Index

3

Active since

2005

Affiliations

University of Pennsylvania(Current)

Gergei Bana is an author at University of Pennsylvania specializing in data security, engineering, and formal verification.

Top concepts

Publications per year

2005–2014

3

Publications

3

Computational and Information-Theoretic Soundness and Completeness of Formal Encryption

Pedro Adão, Gergei Bana, Andre Scedrov · 2005 · 45 citations

, , +14

A Computationally Complete Symbolic Attacker for Equivalence Properties

Gergei Bana, Hubert Comon-Lundh · 2014 · 38 citations

, , +18

Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage

Pedro Adão, Gergei Bana, Jonathan Herzog et al. · Journal of Computer Security · 2009 · 23 citations

, , +20

1–3 of 3