570 search results - page 86 / 114 » Black-box constructions for secure computation |
149
click to vote
EUROCRYPT
2011
Springer
14 years 5 months ago
2011
Springer
We construct the first homomorphic signature scheme that is capable of evaluating multivariate polynomials on signed data. Given the public key and a signed data set, there is an...
CCS
2009
ACM
16 years 2 months ago
2009
ACM
In this work, we study several properties of the SHA-2 design which have been utilized in recent collision attacks against reduced round SHA-2. Small modifications to the SHA-2 des...
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
SALSA examines system logs to derive state-machine views of the sytem's execution, along with control-flow, data-flow models and related statistics. Exploiting SALSA's d...
121
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
160
click to vote
CTRSA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The SHA-3 competition has been organized by NIST to select a new hashing standard. Edon-R was one of the fastest candidates in the first round of the competition. In thi...