Abuse-free optimistic contract signing

JA Garay, M Jakobsson, P MacKenzie - Advances in Cryptology …, 1999 - Springer
… of abuse-free distributed contract signing, that is, distributed contract signing in which no
party … to validate or invalidate the contract. Assume Alice and Bob are signing a contract. If the …

Finite-state analysis of two contract signing protocols

V Shmatikov, JC Mitchell - Theoretical Computer Science, 2002 - Elsevier
… used for normal signing without the third party, … contract signing protocols: the optimistic
contract signing protocol of Asokan, Shoup, and Waidner, and the abuse-free contract signing

Contract signing, optimism, and advantage

R Chadha, JC Mitchell, A Scedrov… - … on Concurrency Theory, 2003 - Springer
… A contract signing protocol lets two parties exchange digital signatures on a pre-agreed text.
Optimistic contract signing … We analyze optimistic contract signing protocols using a game-…

Contract signing, optimism, and advantage

R Chadha, JC Mitchell, A Scedrov… - The Journal of Logic and …, 2005 - Elsevier
… A contract signing protocol lets two parties exchange digital signatures on a pre-agreed text.
Optimistic contract signing … We analyze optimistic contract signing protocols using a game-…

Analysis of probabilistic contract signing

G Norman, V Shmatikov - Journal of Computer Security, 2006 - content.iospress.com
… Research on fair contract signing protocols dates to the early work by Even and Yacobi [17…
contract signing protocol. Since then, there have been proposed randomised contract signing

Analysis of abuse-free contract signing

V Shmatikov, JC Mitchell - … 4th International Conference, FC 2000 Anguilla …, 2001 - Springer
contract signing protocols may involve subprotocols that allow a contract to be signed
tool, we analyze the abuse-free optimistic contract signing protocol of Garay, Jakobsson, and …

Contract coin: Toward practical contract signing on blockchain

H Tian, J He, L Fu - Information Security Practice and Experience: 13th …, 2017 - Springer
… online contract signing services, … contract signers obtain a signed contract simultaneously,
or obtain nothing, or some signer obtains a singed contract at the cost of paying contract

[PDF][PDF] Optimal efficiency of optimistic contract signing

B Pfitzmann, M Schunter, M Waidner - Proceedings of the seventeenth …, 1998 - dl.acm.org
… signatures5 and fair contract signing are different problems since contract signing does not
requite a contract to be a text and two signatures. Obviously, contract signing can always be …

Inductive methods and contract-signing protocols

R Chadha, M Kanovich, A Scedrov - … of the 8th ACM Conference on …, 2001 - dl.acm.org
… Distributed contract signing over a network involves many challenges in mimicking the
features of paper contract signing. For instance, a paper contract is usually signed by both parties …

Game analysis of abuse-free contract signing

S Kremer, JF Raskin - Proceedings 15th IEEE Computer …, 2002 - ieeexplore.ieee.org
… In this paper we report on the verification of two contract signing protocols. Our verification
method is based on the idea of modeling those protocols as games, and reasoning about their …