1183 search results - page 105 / 237 » On flow-sensitive security types |
131
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
We examine the problem of keyboard acoustic emanations. We present a novel attack taking as input a 10-minute sound recording of a user typing English text using a keyboard, and t...
124
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
In recent years, it has become important for researchers, security incident responders and educators to share network logs, and many log anonymization tools and techniques have be...
144
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present an efficient countermeasure against stack smashing attacks. Our countermeasure does not rely on secret values (such as canaries) and protects against att...
153
click to vote
CRYPTO
2005
Springer
15 years 10 months ago
2005
Springer
We present a constant-round protocol for general secure multiparty computation which makes a black-box use of a pseudorandom generator. In particular, the protocol does not requir...
154
click to vote
PET
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...