2137 search results - page 193 / 428 » Proving Abstract Non-interference |
112
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Practical log-domain filter circuits might have multiple operating points in regions in which the translinear element does not obey the exponential law. In this paper,...
119
Voted
ASIACRYPT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We consider scenarios in which two parties, each in possession of a graph, wish to compute some algorithm on their joint graph in a privacy-preserving manner, that is, wi...
124
click to vote
CCIA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. As an ongoing effort to develop a computer aided system for the detection of masses on mammograms, we propose on this work a new model-based segmentation algorithm. The a...
135
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
129
click to vote
COCOON
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The infrastructure for mobile distributed tasks is often formed by cellular networks. One of the major issues in such networks is interference. In this paper we tackle in...