10871 search results - page 1858 / 2175 » A stable programming language |
170
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract: The quantum adversary method is one of the most versatile lower-bound methods for quantum algorithms. We show that all known variants of this method are equivalent: spect...
189
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
We introduce the notion of hierarchical group signatures. This is a proper generalization of group signatures, which allows multiple group managers organized in a tree with the si...
165
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...
158
click to vote
IFIP
2005
Springer
16 years 7 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
164
click to vote
IFIP
2005
Springer
16 years 7 days ago
2005
Springer
Anonymity with identity escrow attempts to allow users of a service to remain anonymous, while providing the possibility that the service owner can break the anonymity in exception...