9888 search results - page 288 / 1978 » compute 2009 |
201
Voted
SP
2009
IEEE
16 years 2 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
204
Voted
ICDM
2009
IEEE
16 years 2 months ago
2009
IEEE
—A large body of work has been devoted to address corporate-scale privacy concerns related to social networks. The main focus was on how to share social networks owned by organiz...
169
Voted
ICDM
2009
IEEE
16 years 2 months ago
2009
IEEE
Sampling-based methods have previously been proposed for the problem of finding interesting associations in data, even for low-support items. While these methods do not guarantee ...
206
Voted
CANS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We consider generic Garbled Circuit (GC)-based techniques for Secure Function Evaluation (SFE) in the semi-honest model. We describe efficient GC constructions for additi...
184
Voted
GBRPR
2009
Springer
16 years 2 months ago
2009
Springer
The collection of behavior protocols is a common practice in human factors research, but the analysis of these large data sets has always been a tedious and time-consuming process....