21 search results - page 1 / 5 » New Parallel Domain Extenders for UOWHF |
ASIACRYPT
2004
Springer
13 years 10 months ago
2004
Springer
We study the class of masking based domain extenders for UOWHFs. Our first contribution is to show that any correct masking based domain extender for UOWHF which invokes the compr...
ASIACRYPT
2003
Springer
13 years 10 months ago
2003
Springer
We present two new parallel algorithms for extending the domain of a UOWHF. The first algorithm is complete binary tree based construction and has less key length expansion than S...
CASC
2006
Springer
13 years 8 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...
IANDC
2006
13 years 5 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...