Bjørner, N., Christakis, M., Maffei, M., & Rosu, G. (Eds.). (2022). Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/DagRep.11.9.80
Bjørner, Nikolaj Christakis, Maria Maffei, Matteo Rosu, Grigore
-
Organisational Unit:
E192-06 - Forschungsbereich Security and Privacy
-
Series:
Dagstuhl Reports
-
Report No.:
Dagstuhl Seminar 21431
-
Date (published):
Apr-2022
-
Number of Pages:
22
-
Publisher:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, German
-
Keywords:
automated reasoning; cryptographic protocols; program verification; programming languages; smart contracts
en
Abstract:
This report documents the program and the outcomes of Dagstuhl Seminar 21431 “Rigorous Methods for Smart Contracts”. Blockchain technologies have emerged as an exciting field for both researchers and practitioners focusing on formal guarantees for software. It is arguably a “once in a lifetime” opportunity for rigorous methods to be integrated in audit processes for parties deploying smart contracts, whether for fund raising, securities trading, or supply-chain management.
Smart contracts are programs managing cryptocurrency accounts on a blockchain. Research in the area of smart contracts includes a fascinating combination of formal methods, programming-language semantics, and cryptography. First, there is vibrant development of verification and program-analysis techniques that check the correctness of smart-contract code. Second, there are emerging designs of programming languages and methodologies for writing smart contracts such that they are more robust by construction or more amenable to analysis and verification. Programming-language abstraction layers expose low-level cryptographic primitives enabling developers to design high-level cryptographic protocols. Automated-reasoning mechanisms present a common underlying enabler; and the specific needs of the smart-contract world offer new challenges.
This workshop brought together stakeholders in the aforementioned areas related to advancing reliable smart-contract technologies.
en
Project title:
Foundations and Tools for Client-Side Web Security: 771527 (Europäischer Forschungsrat (ERC)) Cryptographic Foundations for Future-proof Internet Security: P31621-N38 (Fonds zur Förderung der wissenschaftlichen Forschung (FWF)) Privacy-Preserving Regulatory Technologies for Distributed Ledger Technologies: 864738 (FFG - Österr. Forschungsförderungs- gesellschaft mbH) Ethertrust - Vertrauenswürdige Smart Contracts: Antrag Nr. 2158 (Vereine, Stiftungen, Preise)