93 search results - page 10 / 19 » On Some Cryptographic Properties of Rijndael |
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
SPW
2004
Springer
14 years 1 months ago
2004
Springer
This note presents a new way of composing cryptographic primitives which makes some novel combinations possible. For example, one can do threshold decryption using standard block c...
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
CTRSA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In the last few years we have concentrated our research efforts on new threats to the computing infrastructure that are the result of combining malicious software (malwar...
FC
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents computationally “lightweight” schemes for performing biometric authentication that carry out the comparison stage without revealing any information that can...