32032 search results - page 161 / 6407 » Verified programming in Guru |
144
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...
213
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
174
click to vote
ICISS
2010
Springer
15 years 4 months ago
2010
Springer
Existing proposals for end-to-end independently-verifiable (E2E) voting systems require that voters check the presence of a "receipt" on a secure bulletin board. The tall...
155
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. A large amount of research attempts to define trust, yet relatively little research attempts to experimentally verify what makes trust needed in interactions with humans ...
173
click to vote
ASIACRYPT
2010
Springer
15 years 3 months ago
2010
Springer
We consider the round complexity of a basic cryptographic task: verifiable secret sharing (VSS). This well-studied primitive provides a good "test case" for our understan...