Gergei Bana, Ph.D.
Visiting Assistant Professor
Department of Mathematics
Tulane University
 
Office: Gibson Hall 401-C
Tulane E-mail: gbana@tulane.edu
E-mail: bana@math.upenn.edu
 
Curriculum Vitae
 
 
 
 
 
Teaching
- Calculus II - Math 122-05
- Mathematical Foundations of Computer Security - Math 425-02, 625-02
 
Working Papers
- Gergei Bana, Koji Hasebe, Mitsuhiro Okada: Computational Semantics for Basic Protocol Logic - A Stochastic Approach (updated June 10 2007. Added discussion about the difference between our method and that of Datta et al.)
 -Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness and Completeness of Formal Encryption: The Cases of Key-Cycles and Partial Information Leakage (updated Feb 1, 2008. Corrected typos, improved proofs, notion of Independence derived from Properness Accepted for publication Journal of Computer Security)
 
Publications
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
Photography