Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
-
Publisher:
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 Cryptographic Foundations for Future-proof Internet Security Privacy-Preserving Regulatory Technologies for Distributed Ledger Technologies Ethertrust - Vertrauenswürdige Smart Contracts
-
Project ID:
771527 P31621-N38 864738 Antrag Nr. 2158
-
Funder:
Europäischer Forschungsrat (ERC) Fonds zur Förderung der wissenschaftlichen Forschung (FWF) FFG - Österr. Forschungsförderungs- gesellschaft mbH Vereine, Stiftungen, Preise