87 search results - page 18 / 18 » A Verifiable Random Function with Short Proofs and Keys |
PKC
2012
Springer
11 years 7 months ago
2012
Springer
ded abstract of this work will appear in Public Key Cryptography — PKC 2012. This is the full version. We propose a general framework that converts (ordinary) signature schemes ...
FOSSACS
2008
Springer
13 years 6 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...