Work

Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification

Year: 2019

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-29959-0_18

Authors: Sergiu Bursuc, Steve Kremer

Institutions: Laboratoire Lorrain de Recherche en Informatique et ses Applications, Centre Inria de l'Université de Lorraine

Language: English

Topic: Cryptography and Data Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

SDG: Peace, justice, and strong institutions

Open Access status: green

OpenAlex ID: W2941995659

FWCI: 0.936

Cites: 44

Cited by: 9

Related to: 10