1513 search results - page 5 / 303 » Cryptographic Pattern Matching |
CRYPTO
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
LPAR
2007
Springer
14 years 1 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
SASO
2008
IEEE
14 years 2 months ago
2008
IEEE
Demands to match security with performance in Web applications where access to shared data needs to be controlled dynamically make self-protecting security schemes attractive. Yet...
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
ACNS
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we combine the error correction and encryption functionality into one block cipher, which we call High Diffusion (HD) cipher. The error correcting property of this ci...