Gergei Bana, Ph.D.
Assistant Professor
Department of Electrical Engineering
and Computer Science
and
Department of Mathematics
of
University of Missouri
Address:
EECS, University of Missouri
201 Naka Hall
Columbia, MO 65211, USA
Missouri E-mail:
banagatmissouridotedu
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: Principal Principle Demystified - A Mathematically Rigorous Approach to Lewis's Principal Principle
Publications
21. Gergei Bana, Rohit Chadha, Aajay Kumar Eeralla, Mitsuhiro Okada: Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability
20. Gergei Bana, Rohit Chadha: Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability
19. Gergei Bana, Rohit Chadha, Aajay Kumar Eeralla: Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker
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