65 search results - page 12 / 13 » Computationally Sound Abstraction and Verification of Secure... |
114
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
105
Voted
RAID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this work we present a NIDS cluster as a scalable solution for realizing high-performance, stateful network intrusion detection on commodity hardware. The design addre...
151
Voted
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
139
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Several generic constructions for transforming one-way functions to asymmetric encryption schemes have been proposed. One-way functions only guarantee the weak secrecy of...
163
click to vote
PAIRING
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This paper describes a new method in pairing-based signature schemes for identifying the invalid digital signatures in a batch after batch verification has failed. The me...