Gergei Bana, Ph.D.


Researche Associate


Centre for Security, Reliability and Trust

of

University of Luxembourg


Address:

SnT, University of Luxembourg

6 Avenue de la Fonte

L-4365 Esch sur Alzette, Luxembourg



Luxembourg E-mail:

gergeidotbanaatunidotlu

E-mail:

banaatmathdotupenndotedu


Cybersecurity France-Japan

Formal Methods Working Group





Protocol Proofs with Computationally Complete Symbolic Attackers (based on reachability)


Needham Schroeder Lowe (honest players can play both roles Initiator or Responder in their sessions; 4 new attacks, graphs)

Needham Schroeder Lowe (honest players play one role only, either Initiator or Responder)

Symmetric Needham Schroeder (honest players play one role only, there is only one trusted server)


Working Papers


Gergei Bana, Rohit Chadha: Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability

Gergei Bana: Principal Principle Demystified - A Mathematically Rigorous Approach to Lewis's Principal Principle


Publications


18. Gergei Bana: Models of Objective Chance: An Analysis through Examples

17. Gergei Bana, Mitsuhiro Okada: Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4

16. Gergei Bana: On the Formal Consistency of the Principal Principle

15. Gergei Bana, Hubert Comon-Lundh: A Computationally Complete Symbolic Attacker for Equivalence Properties

14. バナ・ゲルゲイ,長谷部 浩二,岡田 光弘.「計算論的に完全な記号的攻撃者と鍵交換に関する分析手法」

13. Gergei Bana, Koji Hasebe, Mitsuhiro Okada: Computationally Complete Symbolic Attacker and Key Exchange

12. バナ・ゲルゲイ,ウベール・コモン-ルンド,櫻田 英樹.「計算論的に完全な記号的攻撃者とセキュリティ・プロトコルの計算論的に健全な検証」

11. Gergei Bana, Pedro Adão, Hideki Sakurada: Computationally Complete Symbolic Attacker in Action

10. Gergei Bana, Hubert Comon-Lundh: Towards Unconditional Soundness: Computationally Complete Symbolic Attacker

9. 長谷部浩二,バナ・ゲルゲイ,岡田光弘.「セキュリティプロトコルの論理的検証法」

8. Gergei Bana, Koji Hasebe, Mitsuhiro Okada: Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols

7. Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness and Completeness of Formal Encryption: The Cases of Key Cycles and Partial Information Leakage

6. Gergei Bana, Koji Hasebe, Mitsuhiro Okada: Computational Semantics for Basic Protocol Logic - A Stochastic Approach

5. Gergei Bana, Payman Mohassel, Till Stegers: Computational Soundness of Formal Indistinguishability and Static Equivalence

4. Gergei Bana: A Note on Portfolios with Risk-Free Internal Gains

3. Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness of Formal Encryptions in the Presence of Key-Cycles

2. Pedro Adão, Gergei Bana, Andre Scedrov: Computational and Information-Theoretic Soundness and Completeness of Formal Encryption

1. Gergely Bana: Proof of Kolmogorovian Censorship