Gergei Bana

	2007
4		Gergei Bana, Koji Hasebe, Mitsuhiro Okada: Computational Semantics for Basic Protocol Logic - A Stochastic Approach. ASIAN 2007: 86-94
	2006
3		Gergei Bana, Payman Mohassel, Till Stegers: Computational Soundness of Formal Indistinguishability and Static Equivalence. ASIAN 2006: 182-196
	2005
2		Pedro Adão, Gergei Bana, Andre Scedrov: Computational and Information-Theoretic Soundness and Completeness of Formal Encryption. CSFW 2005: 170-184
1		Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness of Formal Encryption in the Presence of Key-Cycles. ESORICS 2005: 374-396

Coauthor Index

1	Pedro Adão	[1] [2]
2	Koji Hasebe	[4]
3	Jonathan Herzog	[1]
4	Payman Mohassel	[3]
5	Mitsuhiro Okada	[4]
6	Andre Scedrov	[1] [2]
7	Till Stegers	[3]

Colors in the list of coauthors