32032 search results - page 124 / 6407 » Verified programming in Guru |
CACM
2006
15 years 4 months ago
2006
138
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...
114
Voted
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
130
click to vote
IJNSEC
2006
15 years 4 months ago
2006
Batch verification can provide large computational savings when multiple signatures are verified together. Recently, some batch verifying signature schemes have been proposed from...
118
click to vote
CANS
2006
Springer
15 years 8 months ago
2006
Springer
We propose a new computational complexity assumption from bilinear map, based on which we construct Verifier-Local Revocation group signatures with shorter lengths than previous on...