181 search results - page 23 / 37 » A Mechanism for Verifying Data Speculation |
163
click to vote
CGO
2005
IEEE
16 years 6 days 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...
187
click to vote
IPSN
2005
Springer
16 years 2 days 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...
142
click to vote
BIRTHDAY
2006
Springer
15 years 10 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...
168
click to vote
PVLDB
2008
15 years 6 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 ...
171
click to vote
JLP
2010
15 years 1 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...