A Formal Implementation of Value Commitment

DOI10.1007/978-3-540-78739-6_29zbMATH Open1133.68337OpenAlexW1499217709MaRDI QIDQ5458411FDOQ5458411

Authors: Nataliya Guts, Francesco Zappa Nardelli, Cédric Fournet 

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_29

Recommendations

• Information and Communications Security
• Commitment and authentication systems
• scientific article; zbMATH DE number 1759355
• scientific article; zbMATH DE number 1842484
• Contract signing, optimism, and advantage.

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Cited In (2)

• Functional commitments for all functions, with transparent setup and from SIS
• A continuum of commitment

This page was built for publication: A Formal Implementation of Value Commitment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458411)