3299 search results - page 182 / 660 » Privacy and Trusted Computing |
172
Voted
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
259
click to vote
BEHAVIOURIT
2011
15 years 1 months ago
2011
The research presented in this paper reports on three phases of an empirical user study that examines the relationship between identity and technology using contextual interviews,...
161
click to vote
SOUPS
2009
ACM
16 years 20 days ago
2009
ACM
We used an iterative design process to develop a privacy label that presents to consumers the ways organizations collect, use, and share personal information. Many surveys have sh...
156
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
In this paper, we propose a privacy model that offers trajectory privacy to the requesters of Location-Based Services (LBSs), by utilizing an underlying network of user movement. ...
177
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. Increasing security concerns have led to a surge in w...