61 search results - page 12 / 13 » On Security Notions for Verifiably Encrypted Signature |
CCS
2006
ACM
13 years 11 months ago
2006
ACM
We extend the definitional work of Dwork, Naor and Sahai from deniable authentication to deniable key-exchange protocols. We then use these definitions to prove the deniability fe...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
The security of electronic payment protocols is of interest to researchers in academia and industry. While the ultimate objective is the safest and most secure protocol, convenien...
CHES
2009
Springer
14 years 8 months ago
2009
Springer
Tamper-proof devices are pretty powerful. They can be used to have better security in applications. In this work we observe that they can also be maliciously used in order to defea...
ESORICS
2005
Springer
14 years 1 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
SPW
2004
Springer
14 years 25 days ago
2004
Springer
This note presents a new way of composing cryptographic primitives which makes some novel combinations possible. For example, one can do threshold decryption using standard block c...