Sciweavers

141 search results - page 2 / 29
» Verifying Generics and Delegates
Sort
View
CRYPTO
1998
Springer
109views Cryptology» more  CRYPTO 1998»
13 years 9 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»
13 years 8 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...
NOCS
2007
IEEE
13 years 11 months ago
A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study
Dominique Borrione, Amr Helmy, Laurence V. Pierre,...
IFL
2000
Springer
13 years 9 months ago
Verifying Generic Erlang Client-Server Implementations
Thomas Arts, Thomas Noll
JIPS
2011
61views more  JIPS 2011»
13 years 8 days ago
Generic Constructions for Strong Designated Verifier Signature
Dengguo Feng, Jing Xu, Wei-Dong Chen