6555 search results - page 597 / 1311 » Secure attribute-based systems |
170
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
195
click to vote
CSFW
2002
IEEE
16 years 5 days ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
199
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We propose a novel biometrics cryptosystem where one can send and receive secure information using just the fingerprints. This cryptosystem is a judicious blend of the asymmetric ...
192
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We propose a decentralized privacy-preserving approach to spam filtering. Our solution exploits robust digests to identify messages that are a slight variation of one another and ...
156
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
We present a traffic analysis of the ADU anonymity scheme presented at ESORICS 2008, and the related RADU scheme. We show that optimal attacks are able to de-anonymize messages mor...