2137 search results - page 124 / 428 » Proving Abstract Non-interference |
113
click to vote
ASIACRYPT
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. A prohibitive barrier faced by elliptic curve users is the difficulty of computing the curves’ cardinalities. Despite recent theoretical breakthroughs, point counting ...
128
click to vote
ASIACRYPT
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Beth and Dai studied in their Eurocrypt paper [1] the relationship between linear complexity (that is, the length of the shortest Linear Feedback Shift Register that gene...
112
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
133
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
FSE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper we present an attack on a reduced round version of Crypton. The attack is based on the dedicated Square attack. We explain why the attack also works on Cryp...