220 search results - page 1 / 44 » Using Difference Reduction for Generic Proof Search |
CYS
1999
13 years 5 months ago
1999
CSFW
2012
IEEE
11 years 8 months ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
ICIP
2004
IEEE
14 years 7 months ago
2004
IEEE
In this paper, a new fast video codec using Wavelet Difference Reduction (WDR) algorithm is presented. This proposed video codec is inspired by the concept of motion JPEG; namely,...
MICCAI
2002
Springer
14 years 6 months ago
2002
Springer
This paper proposes a computer-assisted system for the surgical treatment of exophthalmia. This treatment is classically characterized by a decompression of the orbit, by the mean ...
ESORICS
2008
Springer
13 years 7 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...