11397 search results - page 277 / 2280 » A Relational Abstraction for Functions |
180
click to vote
SIAMSC
2008
15 years 7 months ago
2008
Abstract. We study high order numerical quadratures to one dimensional delta function integrals in this paper. This is motivated by the fact that traditional numerical quadratures ...
191
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
The `Scrap your boilerplate' approach to generic programming allows the programmer to write generic functions that can traverse arbitrary data structures, and yet have type-s...
217
click to vote
SACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we analyse the security of the SHA-3 candidate ARIRANG. We show that bitwise complementation of whole registers turns out to be very useful for constructing...
180
click to vote
FROCOS
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
192
click to vote
FSE
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. In this paper, we propose a 2/3-rate double length compression function and study its security in the black-box model. We prove that to get a collision attack for the com...