Publications

9. 長谷部浩二，バナ・ゲルゲイ，岡田光弘．「セキュリティプロトコルの論理的検証法」，萩谷昌己・塚田恭章共編『数理的技法による情報セキュリティ』，共立出版，近刊

Koji Hasebe, Gergei Bana, Mitsuhiro Okada: Logical Veriﬁcation Methods for Security Protocols (in Japanese), in Formal Approach to Information Security (collection of survey papers), Publisher: Kyoritsu Shuppan, 2009 (to appear) ) pdf (of a draft version)

8. G. Bana, K. Hasebe, M. Okada: Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols, Formal to Practical Security: Papers issued from the 2005-2008 French-Japanese collaboration, Volume 5458 of Lecture Notes in Computer Science, 33-56 pdf

7. P. Adão, G. Bana, J. Herzog, A. 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. G. Bana, K. Hasebe, M. 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 (revised, extended version, contents identical with Publication 8)

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