790 search results - page 132 / 158 » Designated Confirmer Signatures |
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
FC
2004
Springer
14 years 1 months ago
2004
Springer
Looking at current cryptographic-based e-voting protocols, one can distinguish three basic design paradigms (or approaches): (a) Mix-Networks based, (b) Homomorphic Encryption base...
PKC
2009
Springer
14 years 7 days ago
2009
Springer
Abstract. Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction prov...
SIGSOFT
2000
ACM
14 years 1 days ago
2000
ACM
Although software reuse can improve both the quality and productivity of software development, it will not do so until software developers stop believing that it is not worth thei...