738 search results - page 1 / 148 » Formal Methods: for All or for Chosen |
CSEDU
2009
13 years 6 months ago
2009
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
TCC
2005
Springer
13 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 ...
CHES
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This paper proposes new chosen-message power-analysis attacks against public-key cryptosystems based on modular exponentiation, which use specific input pairs to generate...
CTRSA
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. In this paper we present a general framework for constructing efficient multicast cryptosystems with provable security and show that a line of previous work on multicast ...