241 search results - page 39 / 49 » Machine-Checked Security Proofs of Cryptographic Signature S... |
ASIACRYPT
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. ESIGN is an efficient signature scheme that has been proposed in the early nineties (see [14]). Recently, an effort was made to lay ESIGN on firm foundations, using the...
EUROCRYPT
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
ACNS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Several researchers have proposed the use of threshold cryptographic model to enable secure communication in ad hoc networks without the need of a trusted center. In this...
IJNSEC
2007
13 years 7 months ago
2007
The recent developments in the mobile technology (mobile phones, middleware) created a need for new methods of protecting the code transmitted through the network. The oldest and ...
PKC
1998
Springer
13 years 11 months ago
1998
Springer
The ElGamal encryption scheme has been proposed several years ago and is one of the few probabilistic encryption schemes. However, its security has never been concretely proven bas...