5255 search results - page 98 / 1051 » Formal Methods for Privacy |
111
click to vote
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Recent years have seen unprecedented growth in the popularity of social network systems, with Facebook being an archetypical example. The access control paradigm behind t...
102
click to vote
ICDT
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
103
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Web 2.0 applications, including blogs, wikis and social networking sites, pose challenging privacy issues. Many users are unaware that search engines index personal information ...
102
click to vote
STOC
2009
ACM
16 years 3 months ago
2009
ACM
We show by means of several examples that robust statistical estimators present an excellent starting point for differentially private estimators. Our algorithms use a new paradig...
IAT
2008
IEEE
15 years 9 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...