989 search results - page 111 / 198 » Pebbling and Proofs of Work |
WPES
2005
ACM
14 years 1 months ago
2005
ACM
This paper introduces a novel approach for augmenting attributebased access control systems in a way that allows them to offer fully anonymous access to resources while at the sam...
EUROCRYPT
2004
Springer
14 years 1 months 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...
CRYPTO
2008
Springer
13 years 10 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...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
DEBU
2007
13 years 8 months ago
2007
The need to understand and manage provenance arises in almost every scientific application. In many cases, information about provenance constitutes the proof of correctness of re...