2372 search results - page 154 / 475 » is 2012 |
202
click to vote
PKC
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In the standard setting of broadcast encryption, information about the receivers is transmitted as part of the ciphertext. In several broadcast scenarios, however, the id...
168
click to vote
PKC
2012
Springer
13 years 9 months ago
2012
Springer
We revisit the definition of unforgeability of blind signatures as proposed by Pointcheval and Stern (Journal of Cryptology 2000). Surprisingly, we show that this established de...
212
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
437
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
200
click to vote
EUROCRYPT
2012
Springer
13 years 9 months ago
2012
Springer
We present a new approach for creating chosen ciphertext secure encryption. The focal point ork is a new abstraction that we call Detectable Chosen Ciphertext Security (DCCA). Int...