17760 search results - page 3124 / 3552 » A Generalization of the Massey-Ding Algorithm |
220
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
204
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
This paper considers two questions in cryptography. Cryptography Secure Against Memory Attacks. A particularly devastating side-channel attack against cryptosystems, termed the &qu...
192
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
Similar to verifiable shuffling (or, mixing), we consider the problem of verifiable rotating (and random re-encrypting) a given list of homomorphic encryptions. The offset by which...
185
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes and evaluates privacy-friendly methods for extracting quasi-social networks from browser behavior on user-generated content sites, for the purpose of finding ...
216
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
The Drosophila gene expression pattern images document the spatial and temporal dynamics of gene expression and they are valuable tools for explicating the gene functions, interac...