1599 search results - page 120 / 320 » Program Analysis for Security and Privacy |
166
click to vote
DIAU
2000
Springer
15 years 11 months ago
2000
Springer
We present the architecture, design issues and functions of a MIX-based system for anonymous and unobservable real-time Internet access. This system prevents traffic analysis as ...
183
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
169
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...
177
click to vote
CCS
2007
ACM
16 years 29 days ago
2007
ACM
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...
199
click to vote
ESORICS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...