1369 search results - page 145 / 274 » A Practical Implementation of the Timing Attack |
141
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
127
Voted
SAS
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
143
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
High-performance document clustering systems enable similar documents to automatically self-organize into groups. In the past, the large amount of computational time needed to clu...
149
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
127
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
A correctly working Domain Name System (DNS) is essential for the Internet. Due to its significance and because of deficiencies in its current design, the DNS is vulnerable to a w...