2687 search results - page 49 / 538 » Formal Analysis of PKCS |
PRDC
2002
IEEE
14 years 3 months ago
2002
IEEE
FASE
2001
Springer
14 years 3 months ago
2001
Springer
GI
2001
Springer
14 years 3 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...
IEEEARES
2010
IEEE
14 years 3 months ago
2010
IEEE
EUROCRYPT
1999
Springer
14 years 3 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...