181 search results - page 23 / 37 » A Mechanism for Verifying Data Speculation |
CGO
2005
IEEE
15 years 5 months ago
2005
IEEE
In this work, we develop a secret sharing based compiler solution to achieve confidentiality, integrity and availability (intrusion tolerance) of critical data together, rather th...
109
click to vote
IPSN
2005
Springer
15 years 5 months ago
2005
Springer
— We address the problem of secure location determination, known as Secure Localization, and the problem of verifying the location claim of a node, known as Location Verificatio...
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
PVLDB
2008
14 years 11 months ago
2008
Given a dataset containing sensitive personal information, a statistical database answers aggregate queries in a manner that preserves individual privacy. We consider the problem ...
JLP
2010
14 years 6 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...