Search Sciweavers | Sciweavers

72 search results - page 1 / 15

» Computational and Information-Theoretic Soundness and Comple...

click to vote

CSFW
2005
IEEE

125views Security Privacy» more CSFW 2005»

Computational and Information-Theoretic Soundness and Completeness of Formal Encryption

13 years 10 months ago

Download www.math.upenn.edu

We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...

Pedro Adão, Gergei Bana, Andre Scedrov

claim paper

Read More »

click to vote

CRYPTO
2003
Springer

109views Cryptology» more CRYPTO 2003»

Weak Key Authenticity and the Computational Completeness of Formal Encryption

13 years 10 months ago

Download www.iacr.org

Abstract. A signiﬁcant eﬀort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A ﬁrst substantial step in this dire...

Omer Horvitz, Virgil D. Gligor

claim paper

Read More »

click to vote

ESOP
2005
Springer

121views Programming Languages» more ESOP 2005»

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries

13 years 10 months ago