405 search results - page 53 / 81 » Practice-Oriented Provable Security |
93
Voted
CSFW
2004
IEEE
15 years 2 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
97
Voted
ESORICS
2006
Springer
15 years 2 months ago
2006
Springer
Data confidentiality is a major concern in database systems. Encryption is a useful tool for protecting the confidentiality of sensitive data. However, when data is encrypted, perf...
85
Voted
ESORICS
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
97
Voted
PKC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper, we provide the first committed signature provably secure in the standard complexity model based on the strong RSA assumption. The idea behind the construc...
82
Voted
EUROCRYPT
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. The block ciphers MISTY1 and MISTY2 proposed by Matsui are based on the principle of provable security against differential and linear cryptanalysis. This paper presents...