1894 search results - page 299 / 379 » A TLA Proof System |
131
click to vote
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The security of cascade blockcipher encryption is an important and well-studied problem in theoretical cryptography with practical implications. It is well-known that dou...
153
click to vote
DAMON
2009
Springer
15 years 10 months ago
2009
Springer
Database engines face growing scalability challenges as core counts exponentially increase each processor generation, and the efficiency of synchronization primitives used to prot...
116
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
RAID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In order to detect a compromise of a running process based on it deviating from its program’s normal system-call behavior, an anomaly detector must first be trained wi...
126
click to vote
SOUPS
2009
ACM
15 years 10 months ago
2009
ACM
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...