1219 search results - page 121 / 244 » Verification of Equivalent-Results Methods |
176
Voted
PAIRING
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper describes a new method in pairing-based signature schemes for identifying the invalid digital signatures in a batch after batch verification has failed. The me...
136
click to vote
POPL
2010
ACM
16 years 26 days ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
147
click to vote
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
96
Voted
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
Biometric recognition refers to the process of matching an input biometric to stored biometric information. In particular, biometric verification refers to matching the live biome...
114
click to vote
HPCA
2003
IEEE
16 years 3 months ago
2003
IEEE
We study the hardware cost of implementing hash-tree based verification of untrusted external memory by a high performance processor. This verification could enable applications s...