Verifiable Transaction Atomicity for Electronic Payment Protocols.

Lei Tang

Browse the full ICDCS paper archive.