148
click to vote
TCC
15 years 8 months ago
2005 Springer 
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
122
click to vote
TCC
15 years 8 months ago
2005 Springer 
Encryption of data using multiple, independent encryption schemes (“multiple encryption”) has been suggested in a variety of contexts, and can be used, for example, to protect ...
124
click to vote
TCC
15 years 8 months ago
2005 Springer 
Adaptively-secure encryption schemes ensure secrecy even in the presence of an adversary who can corrupt parties in an adaptive manner based on public keys, ciphertexts, and secret...
127
click to vote
TCC
15 years 8 months ago
2005 Springer 
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
130
click to vote
TCC
15 years 8 months ago
2005 Springer 
A complexity-theoretic model for public-key steganography with active attacks is introduced. The notion of steganographic security against adaptive chosen-covertext attacks (SS-CC...
|
Cryptology