201 search results - page 28 / 41 » Security Properties of Typed Applets |
JLP
2010
13 years 2 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
We propose a Java-like language where class de nitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...
PET
2004
Springer
14 years 1 months ago
2004
Springer
We define a new type of mix network that offers a reduced form of robustness: the mixnet can prove that every message it outputs corresponds to an input submitted by a player wit...
CTRSA
2010
Springer
13 years 11 months ago
2010
Springer
This paper proposes a new type of cache-collision timing attacks on software implementations of AES. Our major technique is of differential nature and is based on the internal cryp...
ITIIS
2010
13 years 2 months ago
2010
Anonymous hierarchical identity based encryption (HIBE) is an extension of identity based encryption (IBE) that can use an arbitrary string like an e-mail address for a public key...