4463 search results - page 567 / 893 » computer 2000 |
142
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
141
Voted
EUROCRYPT
2000
Springer
15 years 8 months ago
2000
Springer
Alice wants to prove that she is young enough to borrow money from her bank, without revealing her age. She therefore needs a tool for proving that a committed number lies in a spe...
133
Voted
EUROCRYPT
2000
Springer
15 years 8 months ago
2000
Springer
We present a chosen-ciphertext attack against both NICE cryptosystems. These two cryptosystems are based on computations in the class group of non-maximal imaginary orders. More pr...
150
Voted
FAABS
2000
Springer
15 years 8 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
145
click to vote
FC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Several public key cryptosystems with additional homomorphic properties have been proposed so far. They allow to perform computation with encrypted data without the knowl...