5255 search results - page 336 / 1051 » Formal Methods for Privacy |
128
click to vote
WISA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The algorithm proposed by Ha and Moon [2] is a countermeasure against power analysis. The Ha-Moon algorithm has two drawbacks in that it requires an inversion and has a r...
151
Voted
WISA
2004
Springer
15 years 10 months ago
2004
Springer
In implementing cryptographic algorithms on limited devices such as smart cards, speed and memory optimization had always been a challenge. With the advent of side channel attacks,...
153
click to vote
WISA
2004
Springer
15 years 10 months ago
2004
Springer
This paper addresses the problem of content-based synchronization for robust watermarking. Synchronization is a process of extracting the location to embed and detect the signature...
137
click to vote
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe ITS4, a tool for statically scanning security-critical C source code for vulnerabilities. Compared to other approaches, our scanning technique stakes out a new middle ...
133
click to vote
DIAU
2000
Springer
15 years 9 months ago
2000
Springer
There are different methods to build an anonymity service using MIXes. A substantial decision for doing so is the method of choosing the MIX route. In this paper we compare two sp...