SP
2009
IEEE
13 years 11 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
SP
2009
IEEE
13 years 11 months ago
2009
IEEE
SP
2009
IEEE
13 years 11 months ago
2009
IEEE
The Flume system is an implementation of decentralized information flow control (DIFC) at the operating system level. Prior work has shown Flume can be implemented as a practical ...
SP
2009
IEEE
13 years 11 months ago
2009
IEEE
Sphinx is a cryptographic message format used to relay anonymized messages within a mix network. It is more compact than any comparable scheme, and supports a full set of security...
SP
2009
IEEE
13 years 11 months ago
2009
IEEE
The increasing use of biometrics has given rise to new privacy concerns. Biometric encryption systems have been proposed in order to alleviate such concerns: rather than comparing...
SP
2009
IEEE
13 years 11 months ago
2009
IEEE
As the Internet grows and network bandwidth continues to increase, administrators are faced with the task of keeping confidential information from leaving their networks. Today’...
SP
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper, we study the degree to which a genomic string, Q, leaks details about itself any time it engages in comparison protocols with a genomic querier, Bob, even if those ...
SP
2009
IEEE
13 years 11 months ago
2009
IEEE
—This paper studies and evaluates the extent to which automated compiler techniques can defend against timing-based side-channel attacks on modern x86 processors. We study how mo...
SP
2009
IEEE
13 years 11 months ago
2009
IEEE
Operators of online social networks are increasingly sharing potentially sensitive information about users and their relationships with advertisers, application developers, and da...