556 search results - page 46 / 112 » Generic Properties of Datatypes |
CHES
2007
Springer
14 years 3 months ago
2007
Springer
This papers introduces several binary scalar multiplication algorithms with applications to cryptography. Remarkably, the proposed algorithms regularly repeat the same pattern when...
CISC
2007
Springer
14 years 3 months ago
2007
Springer
We formalize a generic method of constructing efficient group signatures, specifically, we define new notions of unlinkable randomizable signature, indirectly signable signature ...
HVC
2007
Springer
14 years 3 months ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
ISW
1997
Springer
14 years 1 months ago
1997
Springer
This paper gives a survey of attacks on Message Authentication Codes (MACs). First it defines the required security properties. Next it describes generic forgery and key recovery...
VLDB
1997
ACM
14 years 1 months ago
1997
ACM
This paper describes the Array Manipulation Language (AML), an algebra for multidimensional array data. AML is generic, in the sense that it can be customized to support a wide va...