2137 search results - page 202 / 428 » Proving Abstract Non-interference |
129
click to vote
CRYPTO
2004
Springer
15 years 8 months ago
2004
Springer
ded abstract of this paper is to appear in Advances in Cryptology—CRYPTO 2004, Springer-Verlag. We construct a short group signature scheme. Signatures in our scheme are approxi...
CRYPTO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we study the existence of multicollisions in iterated hash functions. We show that finding multicollisions, i.e. r-tuples of messages that all hash to the...
145
click to vote
DALT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
115
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
114
Voted
DIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. One of the most exciting scientific challenges in functional genomics concerns the discovery of biologically relevant patterns from gene expression data. For instance, i...