4099 search results - page 424 / 820 » A Framework for Interactive Proof |
168
click to vote
ESORICS
2005
Springer
16 years 10 days ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
211
click to vote
EUROCRYPT
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
187
click to vote
JELIA
1990
Springer
15 years 11 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
184
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
187
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...