Synthesizing Protocols for Digital Contract Signing.

Krishnendu Chatterjee, Vishwanath Raman

Browse the full VMCAI paper archive.