2513 search results - page 482 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
TCC
2005
Springer
14 years 3 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
EUROCRYPT
2004
Springer
14 years 3 months ago
2004
Springer
Denoting by P = [k]G the elliptic-curve double-and-add multiplication of a public base point G by a secret k, we show that allowing an adversary access to the projective representa...
ICFEM
2004
Springer
14 years 3 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
SC
2003
ACM
14 years 3 months ago
2003
ACM
Cluster-based servers can substantially increase performance when nodes cooperate to globally manage resources. However, in this paper we show that cooperation results in a substa...
ICFEM
2003
Springer
14 years 3 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...