2687 search results - page 49 / 538 » Formal Analysis of PKCS |
136
Voted
PRDC
2002
IEEE
15 years 11 months ago
2002
IEEE
120
Voted
FASE
2001
Springer
15 years 10 months ago
2001
Springer
158
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
157
click to vote
EUROCRYPT
1999
Springer
15 years 10 months ago
1999
Springer
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...