Gergei Bana

International Association for Cryptologic Research

Gergei Bana Search web for home page

	year	title	booktitle	pages
1	2010	Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols	eprint	online
2	2007	Computational Semantics for Basic Protocol Logic - A Stochastic Approach	eprint	online
3	2006	Computational Soundness of Formal Indistinguishability and Static Equivalence	eprint	online
4	2005	Soundness and Completeness of Formal Logics of Symmetric Encryption	eprint	online