1599 search results - page 120 / 320 » Program Analysis for Security and Privacy |
118
click to vote
DIAU
2000
Springer
15 years 8 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 ...
139
Voted
ESORICS
2002
Springer
16 years 3 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...
132
Voted
CSFW
2007
IEEE
15 years 10 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...
134
click to vote
CCS
2007
ACM
15 years 10 months 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...
150
click to vote
ESORICS
2007
Springer
15 years 10 months 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...