2610 search results - page 173 / 522 » Computational Probabilistic Non-interference |
97
Voted
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
111
Voted
ICB
2009
Springer
15 years 9 months ago
2009
Springer
We propose a scalable face matching algorithm capable of dealing with faces subject to several concurrent and uncontrolled factors, such as variations in pose, expression, illumina...
103
click to vote
COLCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...
107
click to vote
FC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a scheme for privacy-preserving escrow of financial transactions. The objective of the scheme is to preserve privacy and anonymity of the individual user enga...
LCPC
2001
Springer
15 years 7 months ago
2001
Springer
Information gathered by the existing pointer analysis techniques can be classified as must aliases or definitely-points-to relationships, which hold for all executions, and may a...