1825 search results - page 20 / 365 » Cryptographic Securities Exchanges |
122
Voted
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
66
Voted
DCC
2004
IEEE
16 years 2 months ago
2004
IEEE
115
Voted
CRYPTO
2000
Springer
15 years 6 months ago
2000
Springer
We put forward a new model for understanding the security of symmetric-key primitives, such as block ciphers. The model captures the fact that many such primitives often consist of...
118
Voted
ACSW
2006
15 years 4 months ago
2006
Logcrypt provides strong cryptographic assurances that data stored by a logging facility before a system compromise cannot be modified after the compromise without detection. We b...
123
Voted
ACISP
2008
Springer
15 years 4 months ago
2008
Springer
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...