15421 search results - page 226 / 3085 » Dependability |
157
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Low latency anonymity systems are susceptive to traffic analysis attacks. In this paper, we propose a dependent link padding scheme to protect anonymity systems from traffic analy...
180
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
196
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
178
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
161
Voted
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Standard security notions for encryption schemes do not guarantee any security if the encrypted messages depend on the secret key. Yet it is exactly the stronger notion of security...