The following pages link to Gergei Bana (Q2371317):
Displaying 8 items.
- A note on portfolios with risk-free internal gains (Q2371318) (← links)
- Towards Unconditional Soundness: Computationally Complete Symbolic Attacker (Q2894322) (← links)
- (Q2957527) (← links)
- Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols (Q3631369) (← links)
- Models of Objective Chance: An Analysis through Examples (Q4603227) (← links)
- Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability (Q4972166) (← links)
- Semantics for "enough-certainty" and fitting's embedding of classical logic in S4 (Q5278422) (← links)
- Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)