536 search results - page 7 / 108 » A computer verified, monadic, functional implementation of t... |
85
Voted
CTRSA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we first demonstrate a gap between the security of verifiably committed signatures in the two-party setting and the security of verifiably committed signat...
84
Voted
USS
2008
15 years 2 months ago
2008
We introduce Scantegrity II, a practical enhancement for optical scan voting systems that achieves increased election integrity through the novel use of confirmation codes printed...
114
click to vote
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
We present in this paper a method for implementing moment functions in a CMOS retina for shape recognition applications. The method is based on the use of binary patterns and it a...
106
Voted
CRYPTO
2006
Springer
15 years 3 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
104
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: Functional annotation of proteins remains a challenging task. Currently the scientific literature serves as the main source for yet uncurated functional annotations, b...