 | 2012 |
|---|
| 12 |       | Gergei Bana,
Hubert Comon-Lundh:
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker.
POST 2012: 189-208 |
| 11 | | Gergei Bana,
Hubert Comon-Lundh:
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker.
IACR Cryptology ePrint Archive 2012: 19 (2012) |
| 2010 |
|---|
| 10 | | Gergei Bana,
Koji Hasebe,
Mitsuhiro Okada:
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols.
IACR Cryptology ePrint Archive 2010: 80 (2010) |
| 2009 |
|---|
| 9 | | Gergei Bana,
Koji Hasebe,
Mitsuhiro Okada:
Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols.
Formal to Practical Security 2009: 33-56 |
| 8 | | Pedro Adão,
Gergei Bana,
Jonathan Herzog,
Andre Scedrov:
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage.
Journal of Computer Security 17(5): 737-797 (2009) |
| 2007 |
|---|
| 7 | | Gergei Bana,
Koji Hasebe,
Mitsuhiro Okada:
Computational Semantics for Basic Protocol Logic - A Stochastic Approach.
ASIAN 2007: 86-94 |
| 6 | | Gergei Bana,
Koji Hasebe,
Mitsuhiro Okada:
Computational Semantics for Basic Protocol Logic - A Stochastic Approach.
IACR Cryptology ePrint Archive 2007: 156 (2007) |
| 2006 |
|---|
| 5 | | Gergei Bana,
Payman Mohassel,
Till Stegers:
Computational Soundness of Formal Indistinguishability and Static Equivalence.
ASIAN 2006: 182-196 |
| 4 | | Gergei Bana,
Payman Mohassel,
Till Stegers:
Computational Soundness of Formal Indistinguishability and Static Equivalence.
IACR Cryptology ePrint Archive 2006: 323 (2006) |
| 2005 |
|---|
| 3 | | Pedro Adão,
Gergei Bana,
Andre Scedrov:
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption.
CSFW 2005: 170-184 |
| 2 | | Pedro Adão,
Gergei Bana,
Jonathan Herzog,
Andre Scedrov:
Soundness of Formal Encryption in the Presence of Key-Cycles.
ESORICS 2005: 374-396 |
| 1 | | Gergei Bana:
Soundness and Completeness of Formal Logics of Symmetric Encryption.
IACR Cryptology ePrint Archive 2005: 101 (2005) |
Data released under the ODC-BY 1.0 license — See also our legal information page