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, To appear in the special edition for selected papers of CSFW’05 in Journal of Computer Science    pdf
 
6. Gergei Bana, Koji Hasebe, Mitsuhiro Okada: Computational Semantics for Basic Protocol Logic - A Stochastic Approach, Proceedings of ASIAN 07, the 12th Annual Asian Computing Science Conference, Vol. 4846 of Lecture Notes  in Computer Science, 86-94     e-print (extended version)
 
5. G. Bana, P. Mohassel, T. Stegers, Computational Soundness of Formal Indistinguishability and Static Equivalence, Proceedings of ASIAN 06, the 11th Annual Asian Computing Science Conference, Vol. 4435 of Lecture Notes  in Computer Science, 182-196     e-print
 
4. G. Bana, A Note on Portfolios with Risk Free Internal Gains, Expositiones Mathematicae, 25, 1,1 Feb 2007, 83-93
 
3. P. Adão – G. Bana – J. Herzog – A. Scedrov, Soundness of Formal Encryptions in the Presence of Key Cycles, Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS), Vol. 3679 of Lecture Notes in Computer Science, 374-396     pdf    
 
2. P. Adão – G. Bana – A. Scedrov, Computational and Information-Theoretic Soundness and Completeness of Formal Encryption, Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW), 170-184     pdf   For improved notations and proofs, see Publication 7.
 
1. G. Bana – T. Durt, Proof of Kolmogorovian Censorship, Foundations of Physics, 27 (1997), 1355-1373     e-print