4340 search results - page 305 / 868 » Formal Methods and Cryptography |
170
click to vote
FSE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The slide attack is applicable to ciphers that can be represented as an iterative application of the same keyed permutation. The slide attack leverages simple attacks on ...
141
click to vote
TCC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...
196
Voted
ACNS
2005
Springer
16 years 6 days ago
2005
Springer
We consider the following problem: a user U wants to store his files in an encrypted form on a remote file server S. Later the user U wants to efficiently retrieve some of the en...
153
click to vote
ESORICS
2005
Springer
16 years 6 days ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
135
click to vote
TCC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We initiate a theoretical study of the census problem. Informally, in a census individual respondents give private information to a trusted party (the census bureau), who...