608 search results - page 8 / 122 » Interactive Oracle Proofs |
TPHOL
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
TYPES
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
ACISP
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. A security proof in the Bellare
CRYPTO
2006
Springer
14 years 1 months ago
2006
Springer
We present an identity-based cryptosystem that features fully anonymous ciphertexts and hierarchical key delegation. We give a proof of security in the standard model, based on the...
SECRYPT
2007
13 years 11 months ago
2007
In this paper, we study the opacity property of verifiably encrypted signatures (VES) of Boneh et al. (proposed in Eurocrypt 2003). Informally, opacity implies that although some...