3395 search results - page 183 / 679 » Computational Differential Privacy |
159
click to vote
SP
2006
IEEE
15 years 12 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
177
click to vote
MSWIM
2009
ACM
16 years 20 days ago
2009
ACM
Wireless sensor networks have attracted increasing attentions considering their potentials for being widely adopted in both emerging civil and military applications. A common prac...
190
click to vote
UM
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...
177
click to vote
AIS
2006
Springer
15 years 6 months ago
2006
Springer
Today's computer network technologies are sociologically founded on hunter-gatherer principles; common users may be possible subjects of surveillance and sophisticated Interne...
153
click to vote
IEEEARES
2008
IEEE
16 years 9 days ago
2008
IEEE
Preserving integrity of applications being executed in remote machines is an open problem. Integrity requires that application code is not tampered with, prior to or during execut...