Searching for authors named "Gergei Bana" – sorted by Relevance.
-
Soundness of Formal Encryption in the Presence ofKey-Cycles
- Soundness of Formal Encryption in the Presence ofKey-Cycles Pedro Ad~ao1?, Gergei Bana2
- Add To MetaCart
-
Soundness and completeness of formal encryption: The cases of key-cycles and partial information leakage
- Leakage (Preliminary Version) Pedro Ad~ao1?, Gergei Bana2??, Jonathan Herzog3, and Andre Scedrov4? ? ? 1
- Cited by 2 (0 self) – Add To MetaCart
-
Computational and information-theoretic soundness and completeness of formal encryption
- -0098096 and CNS-0429689. Gergei Bana † Department of Mathematics University of Pennsylvania, Philadelphia
- Cited by 15 (5 self) – Add To MetaCart
-
Soundness and Completeness of Formal Encryption: the Cases of Key-Cycles and Partial Information Leakage (Preliminary Version)
- Leakage (Preliminary Version) Pedro Adão1⋆ , Gergei Bana2⋆⋆ , Jonathan Herzog3 4⋆ ⋆ ⋆ , and Andre Scedrov
- Add To MetaCart
-
Soundness of formal encryption in the presence of key-cycles
- Soundness of Formal Encryption in the Presence of Key-Cycles Pedro Adão1⋆ , Gergei Bana2
- Cited by 20 (3 self) – Add To MetaCart
-
Encryption
- SOUNDNESS AND COMPLETENESS OF FORMAL LOGICS OF SYMMETRIC ENCRYPTION Gergei Bana A DISSERTATION
- Add To MetaCart
-
Computational Soundness of Formal Indistinguishability and Static Equivalence
- Computational Soundness of Formal Indistinguishability and Static Equivalence Gergei Bana
- Cited by 2 (0 self) – Add To MetaCart

