Sciweavers

18429 search results - page 321 / 3686
» Typing dynamic typing
Sort
View
IFL
2001
Springer
142views Formal Methods» more  IFL 2001»
15 years 11 months ago
A Compilation Scheme for a Hierarchy of Array Types
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
Dietmar Kreye
IMA
2001
Springer
79views Cryptology» more  IMA 2001»
15 years 11 months ago
On Rabin-Type Signatures
Abstract. This paper specializes the signature forgery by Coron, Naccache and Stern (1999) to Rabin-type systems. We present a variation in which the adversary may derive the priva...
Marc Joye, Jean-Jacques Quisquater