32032 search results - page 129 / 6407 » Verified programming in Guru |
114
click to vote
JCM
2008
15 years 4 months ago
2008
Publicly verifiable secret sharing (PVSS) allows not only shareholders themselves but also everyone verify the shares of a secret distributed by a dealer. It has a lot of electroni...
147
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
115
Voted
ACISP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we propose an optimistic two-party fair exchange protocol which does not rely on a centralized trusted third party. Instead, the fairness of the protocol re...
116
click to vote
ACISP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper addresses the issue of selective disclosure of verifiable content. It extends previous work relating to Content Extraction Signatures [21] to implement a more ...
150
click to vote
CLIMA
2008
15 years 6 months ago
2008
The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles,...