Reference : Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification.
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/41900
Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification.
English
Bursuc, Sergiu mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Kremer, Steve [INRIA France]
Sep-2019
Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification.
Bursuc, Sergiu mailto
Kremer, Steve
Springer
Yes
ESORICS 2019 - 24th European Symposium on Research in Computer Security
23-27 September 2019
Luxembourg
Luxembourg
http://hdl.handle.net/10993/41900

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
long-ledger.pdfAuthor postprint434.51 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.