201 search results - page 28 / 41 » Security Properties of Typed Applets |
125
click to vote
JLP
2010
14 years 10 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...
112
Voted
OOPSLA
2010
Springer
15 years 1 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...
111
Voted
PET
2004
Springer
15 years 8 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...
119
Voted
CTRSA
2010
Springer
15 years 6 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...
164
Voted
ITIIS
2010
14 years 10 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...