Gergei Bana

26 papers A* 2A 1B 1Journal 13Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Unified Treatment of Reachability and Indistinguishability Properties: First-Order Logic with Overwhelming Truth.
IACR Cryptol. ePrint Arch.
Gergei Bana, Mitsuhiro Okada
2022 — conf
Time, Privacy, Robustness, Accuracy: Trade-Offs for the Open Vote Network Protocol.
E-Vote-ID
Fatima-Ezzahra El Orche, Rémi Géraud-Stewart, Peter B. Rønne, Gergei Bana, David Naccache, Peter Y. A. Ryan, Marco Biroli, Megi Dervishi, Hugo Waltsburger
2021 J jnl
Convergence Voting: From Pairwise Comparisons to Consensus.
CoRR
Gergei Bana, Wojciech Jamroga, David Naccache, Peter Y. A. Ryan
2021 J jnl
Time, Privacy, Robustness, Accuracy: Trade Offs for the Open Vote Network Protocol.
IACR Cryptol. ePrint Arch.
Gergei Bana, Marco Biroli, Megi Dervishi, Fatima-Ezzahra El Orche, Rémi Géraud-Stewart, David Naccache, Peter B. Rønne, Peter Y. A. Ryan, Hugo Waltsburger
2020 — conf
A Semantics for "Typically" in First-Order Default Reasoning.
JSAI-isAI Workshops
Gergei Bana, Mitsuhiro Okada
2020 J jnl
Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability.
ACM Trans. Comput. Log.
Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla, Mitsuhiro Okada
2018 — conf
Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker.
ESORICS (2)
Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla
2018 J jnl
Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker.
IACR Cryptol. ePrint Arch.
Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla
2016 B conf
Semantics for "Enough-Certainty" and Fitting's Embedding of Classical Logic in S4.
CSL
Gergei Bana, Mitsuhiro Okada
2016 J jnl
Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability.
IACR Cryptol. ePrint Arch.
Gergei Bana, Rohit Chadha
2014 A* conf
A Computationally Complete Symbolic Attacker for Equivalence Properties.
CCS
Gergei Bana, Hubert Comon-Lundh
2013 A* conf
Computationally complete symbolic attacker and key exchange.
CCS
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
2012 — conf
Computationally Complete Symbolic Attacker in Action.
FSTTCS
Gergei Bana, Pedro Adão, Hideki Sakurada
2012 J jnl
Computationally Sound Verification of the NSL Protocol via Computationally Complete Symbolic Attacker.
IACR Cryptol. ePrint Arch.
Gergei Bana, Pedro Adão, Hideki Sakurada
2012 — conf
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker.
POST
Gergei Bana, Hubert Comon-Lundh
2012 J jnl
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker.
IACR Cryptol. ePrint Arch.
Gergei Bana, Hubert Comon-Lundh
2010 J jnl
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols.
IACR Cryptol. ePrint Arch.
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
2009 — conf
Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols.
Formal to Practical Security
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
2009 J jnl
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage.
J. Comput. Secur.
Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov
2007 — conf
Computational Semantics for Basic Protocol Logic - A Stochastic Approach.
ASIAN
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
2007 J jnl
Computational Semantics for Basic Protocol Logic - A Stochastic Approach.
IACR Cryptol. ePrint Arch.
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
2006 — conf
Computational Soundness of Formal Indistinguishability and Static Equivalence.
ASIAN
Gergei Bana, Payman Mohassel, Till Stegers
2006 J jnl
Computational Soundness of Formal Indistinguishability and Static Equivalence.
IACR Cryptol. ePrint Arch.
Gergei Bana, Payman Mohassel, Till Stegers
2005 — conf
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption.
CSFW
Pedro Adão, Gergei Bana, Andre Scedrov
2005 J jnl
Soundness and Completeness of Formal Logics of Symmetric Encryption.
IACR Cryptol. ePrint Arch.
Gergei Bana
2005 A conf
Soundness of Formal Encryption in the Presence of Key-Cycles.
ESORICS
Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov