5255 search results - page 112 / 1051 » Formal Methods for Privacy |
108
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
136
Voted
PERCOM
2011
ACM
14 years 6 months ago
2011
ACM
Abstract—With the abundance and ubiquity of mobile devices, a new class of applications is emerging, called participatory sensing (PS), where people can contribute data (e.g., im...
150
Voted
ICDT
2011
ACM
14 years 6 months ago
2011
ACM
Provenance in scientific workflows is a double-edged sword. On the one hand, recording information about the module executions used to produce a data item, as well as the parame...
153
Voted
ASIACRYPT
2011
Springer
14 years 2 months ago
2011
Springer
Differential Privacy (DP) has emerged as a formal, flexible framework for privacy protection, with a guarantee that is agnostic to auxiliary information and that admits simple ru...
123
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...