Searching for authors named "Gergei Bana" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
