Sciweavers

7 search results - page 1 / 2
» A Concrete Security Treatment of Symmetric Encryption
Sort
View
FOCS
1997
IEEE
13 years 9 months ago
A Concrete Security Treatment of Symmetric Encryption
Mihir Bellare, Anand Desai, E. Jokipii, Phillip Ro...
EUROCRYPT
2008
Springer
13 years 6 months ago
Towards Key-Dependent Message Security in the Standard Model
Standard security notions for encryption schemes do not guarantee any security if the encrypted messages depend on the secret key. Yet it is exactly the stronger notion of security...
Dennis Hofheinz, Dominique Unruh
CSFW
2005
IEEE
13 years 10 months ago
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption
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
DBSEC
2007
116views Database» more  DBSEC 2007»
13 years 6 months ago
Provably-Secure Schemes for Basic Query Support in Outsourced Databases
In this paper, we take a closer look at the security of outsourced databases (aka Database-as-the-Service or DAS), a topic of emerging importance. DAS allows users to store sensit...
Georgios Amanatidis, Alexandra Boldyreva, Adam O'N...
ICALP
2005
Springer
13 years 10 months ago
Password-Based Encryption Analyzed
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
Martín Abadi, Bogdan Warinschi