234 search results - page 18 / 47 » Composition and Generalization of Context Data for Privacy P... |
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
The rise of smartphones equipped with various sensors has enabled personalization of various applications based on user contexts extracted from sensor readings. At the same time i...
IBPRIA
2007
Springer
13 years 11 months ago
2007
Springer
Three methods for the efficient downdating, composition and splitting of low rank singular value decompositions are proposed. They are formulated in a closed form, considering the ...
CIDR
2007
13 years 9 months ago
2007
We argue that designing a system that “guarantees” the privacy of its information may not be enough. One must also consider the price for providing that protection: For exampl...
ICDE
2008
IEEE
14 years 2 months ago
2008
IEEE
— Data privacy is one of the key challenges faced by enterprises today. Anonymization techniques address this problem by sanitizing sensitive data such that individual privacy is...