Sciweavers

141 search results - page 2 / 29
» Verifying Generics and Delegates
Sort
View
CRYPTO
1998
Springer
109views Cryptology» more  CRYPTO 1998»
15 years 3 months ago
Self-Delegation with Controlled Propagation - or - What If You Lose Your Laptop
We introduce delegation schemes wherein a user may delegate certain rights to himself, but may not safely delegate these rights to others. In our motivating application, a user ha...
Oded Goldreich, Birgit Pfitzmann, Ronald L. Rivest
ACNS
2010
Springer
187views Cryptology» more  ACNS 2010»
15 years 3 months ago
Generic Constructions for Verifiably Encrypted Signatures without Random Oracles or NIZKs
Verifiably encrypted signature schemes (VES) allow a signer to encrypt his or her signature under the public key of a trusted third party, while maintaining public signature verifi...
Markus Rückert, Michael Schneider 0002, Domin...
69
Voted
IFL
2000
Springer
15 years 3 months ago
Verifying Generic Erlang Client-Server Implementations
Thomas Arts, Thomas Noll
JIPS
2011
61views more  JIPS 2011»
14 years 6 months ago
Generic Constructions for Strong Designated Verifier Signature
Dengguo Feng, Jing Xu, Wei-Dong Chen