5255 search results - page 280 / 1051 » Formal Methods for Privacy |
124
click to vote
ACISP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a distinguishing attack against SOBER-128 with linear masking. We found a linear approximation which has a bias of 2−8.8 for the non-linear filter. The atta...
CCS
1997
ACM
15 years 8 months ago
1997
ACM
In this paper, we address the following problem: \ Is it possible to weaken/attack a scheme when a (provably) secure cryptosystem is used? ". The answer is yes. We exploit we...
164
click to vote
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
We present new results on a distributable changedetection method inspired by the natural immune system. A weakness in the original algorithm was the exponential cost of generating...
120
click to vote
OOPSLA
1989
Springer
15 years 8 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
140
click to vote
ESORICS
2006
Springer
15 years 8 months ago
2006
Springer
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...