|
Search the dblp DataBase
Gergei Bana:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Pedro Adão, Gergei Bana, Andre Scedrov
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption. [Citation Graph (0, 0)][DBLP] CSFW, 2005, pp:170-184 [Conf]
- Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov
Soundness of Formal Encryption in the Presence of Key-Cycles. [Citation Graph (0, 0)][DBLP] ESORICS, 2005, pp:374-396 [Conf]
- Gergei Bana, Koji Hasebe, Mitsuhiro Okada
Computational Semantics for Basic Protocol Logic - A Stochastic Approach. [Citation Graph (0, 0)][DBLP] ASIAN, 2007, pp:86-94 [Conf]
Computational Soundness of Formal Indistinguishability and Static Equivalence. [Citation Graph (, )][DBLP]
Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|