1653 search results - page 200 / 331 » Timed analysis of security protocols |
146
click to vote
MICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
Computer security is severely threatened by software vulnerabilities. Prior work shows that information flow tracking (also referred to as taint analysis) is a promising techniqu...
124
click to vote
PKC
2009
Springer
16 years 3 months ago
2009
Springer
Similar to verifiable shuffling (or, mixing), we consider the problem of verifiable rotating (and random re-encrypting) a given list of homomorphic encryptions. The offset by which...
125
click to vote
ASIACRYPT
2001
Springer
15 years 7 months ago
2001
Springer
The aim of this article is to propose a fully distributed environment for the RSA scheme. What we have in mind is highly sensitive applications and even if we are ready to pay a pr...
140
click to vote
INFOCOM
2010
IEEE
15 years 29 days ago
2010
IEEE
—Despite much research on the throughput of relaying networks under idealized interference models, many practical wireless networks rely on physical-layer protocols that preclude...
92
Voted
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...