1679 search results - page 207 / 336 » Security Properties and CSP |
177
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
We develop an abstract framework that encompasses the key properties of bilinear groups of composite order that are required to construct secure pairing-based cryptosystems, and we...
159
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...
155
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is n...
157
click to vote
CTRSA
2010
Springer
15 years 10 months ago
2010
Springer
This paper proposes a new type of cache-collision timing attacks on software implementations of AES. Our major technique is of differential nature and is based on the internal cryp...
166
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper discusses key recovery and universal forgery attacks on several MAC algorithms based on universal hash functions. The attacks use a substantial number of verif...