253 search results - page 23 / 51 » How to Transform an Analyzer into a Verifier |
104
click to vote
MSWIM
2003
ACM
15 years 5 months ago
2003
ACM
This article analyzes the connectivity of multihop radio networks in a log-normal shadow fading environment. Assuming the nodes have equal transmission capabilities and are randoml...
104
Voted
ACSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...
126
click to vote
CIIT
2004
15 years 1 months ago
2004
This paper investigates the effectiveness of rate-limiting in mitigating TCP-based flooding Denial of Service (DoS) attacks. Rate-limiting is used as a DoS defense mechanism to di...
126
Voted
ESORICS
2010
Springer
15 years 18 days ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
112
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...