117
click to vote
CRYPTO
1995
Springer
15 years 7 months ago
1995
Springer
We review the well-known relation between Lucas sequences and exponentiation. This leads to the observation that certain public-key cryptosystems that are based on the use of Lucas...
110
click to vote
CRYPTO
1995
Springer
15 years 7 months ago
1995
Springer
Abstract: We present a number of attacks, some new, on public key protocols. We also advance a number of principles which may help designers avoid many of the pitfalls, and help at...
113
click to vote
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
196
click to vote
TSDM
2000
15 years 7 months ago
2000
The growing production of maps is generating huge volume of data stored in large spatial databases. This huge volume of data exceeds the human analysis capabilities. Spatial data m...