Gergei Bana - Bana Gergely - バナ・ゲルゲイ

Gergei Bana, Ph.D.

Postdoctoral Researcher

Laboratoire Spécification et Vérification

and

and

École Normale Supérieure de Cachan

Address:

ENS, LSV, RH-B-103

61, avenue du Président Wilson

94235 CACHAN Cedex, France

ENS E-mail:

gebanaatlsvdotens-cachandotfr

E-mail:

banaatmathdotupenndotedu

Working Papers

Gergei Bana, Koji Hasebe, Mitsuhiro Okada: Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols (BPL 2.0)

Protocol Proofs with BPL 2.0

Needham Schroeder Lowe

Amended Needham Schroeder shared-key

Publications

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

Ph.D. Thesis

2004, University of Pennsylvania

Soundness and Completeness of Formal Logics of Symmetric Encryptions

This is about the relationship between formal and computational methods of cryptography

For improved notations and proofs, see Publication 7.

Masters Paper

2003, Wharton School of the University of Pennsylvania

Risk-Free Internal Gains - Black and Scholes Re-examined

This is about why the derivation of the Black-Scholes formula is correct even though it is mathematically erroneous

Hobbies

Piano (New recordings, June 2008) Strangely, does not work with some versions of Firefox

Photography