38 search results - page 6 / 8 » How to Build a Hash Function from Any Collision-Resistant Fu... |
138
Voted
SIGGRAPH
1992
ACM
15 years 4 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
104
click to vote
ICFP
2008
ACM
16 years 10 days ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
83
Voted
ECCC
2007
15 years 10 days ago
2007
The OR-SAT problem asks, given Boolean formulae φ1, . . . , φm each of size at most n, whether at least one of the φi’s is satisfiable. We show that there is no reduction fr...
95
Voted
AAAI
2008
15 years 2 months ago
2008
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...
110
click to vote
TCC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We consider the problem of password-authenticated key exchange (PAK) also known as session-key generation using passwords: constructing session-key generation protocols t...