5255 search results - page 292 / 1051 » Formal Methods for Privacy |
136
click to vote
CHES
2009
Springer
16 years 5 months ago
2009
Springer
Tamper-proof devices are pretty powerful. They can be used to have better security in applications. In this work we observe that they can also be maliciously used in order to defea...
128
click to vote
ACSC
2009
IEEE
15 years 11 months ago
2009
IEEE
Privacy is today an important concern for both data providers and data users. Data generalization can provide significant protection of an individual’s privacy, which means the...
171
click to vote
CCS
2010
ACM
15 years 11 months ago
2010
ACM
Secure provenance that records ownership and process history of data objects is vital to the success of data forensics in cloud computing, yet it is still a challenging issue toda...
106
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Anonymous communication protocols must achieve two seemingly contradictory goals: privacy (informally, they must guarantee the anonymity of the parties that send/receive informa...
129
Voted
FC
2006
Springer
15 years 8 months ago
2006
Springer
With the increasing importance of correctly handling privacy-sensitive data, significant work has been put in expressing and enforcing privacy policies. Less work has been done ho...