168
click to vote
TCC
15 years 10 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...
140
click to vote
TCC
15 years 10 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 ...
145
click to vote
TCC
15 years 10 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...
147
click to vote
TCC
15 years 10 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 ...
151
Voted
TCC
15 years 10 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