220 search results - page 1 / 44 » Using Difference Reduction for Generic Proof Search |
61
Voted
CYS
1999
14 years 11 months ago
1999
118
click to vote
CSFW
2012
IEEE
13 years 1 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...
101
click to vote
ICIP
2004
IEEE
16 years 1 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
16 years 9 days 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
15 years 1 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 ...