7th Workshop on Trusted Smart Contracts (WTSC)
In Association with Financial Cryptography 2023
In Association with Blockchain Governance Initiative Network (BGIN block #8)
May 5, 2023
Bluesun Hotel Elaphusa
Bol, Brač, Croatia
Program Chairs
| Andrea Bracciali | University of Stirling, UK |
| Geoffrey Goodell | UCL, UK |
| Contact us |
Overview
WTSC focusses on the trustworthy programmability of blockchains and applications, and their (formal) verification and validation. Smart contracts, i.e. self-enforcing agreements in the form of executable programs that are deployed to and run on top of blockchains, are key in such a context. From the original idea of Bitcoin and its restricted language for the validation of economical transactions, several other approaches have been put forward, further developing the idea of algorithmic validation of decentralised trust, along Szabo's intuition. These include specialised, expressive, inspired by Turing completeness lanugages and programming models, both on-chain, i.e. validated by the consenus mechanism, and off-chain, so called layer-2 solutions that interact with the blockchain. A rich eco-system has been developed, with impact on several socio-economic aspects, from identity, to decentralised and democratised finance, new markets and business models, new forms of payments, tokenomics, fintech, governance and privacy, to cite a few.
Attacks, from the (in)famous DAO attack (and the discussed fork adopted as a counter measure) onwards, have shown how potentially fragile and senistive to errors the framework of decentralised trust can be.
WTSC aims to better understand such technologies, novel programming paradigms and execution environments. Multidisciplinary and multifactorial aspects affect correctness, safety, privacy, authentication, efficiency, sustainability, resilience and trust in smart contracts. Existing frameworks, which are competing for their market share, adopt different solutions, whose merits needs to be evaluated and compared by means of systematic scientific investigation, and further research is needed towards laying the foundations of Trusted Smart Contracts.
The Workshop on Trusted Smart Contracts (WTSC) aims to gather together researchers from both academia and industry interested in the many facets of Trusted Smart Contract engineering, and to provide a multi-disciplinary forum for discussing open problems, proposed solutions and the vision on future developments. Experts in fields including (but not limited to!) programming languages, verification, security, decision and game theory, cryptography, monetary systems, finance, and economics, as well as pratictioners and companies interested in block chain technologies, are invited to take part in this third edition of WTSC and make it a lively forum.
-
Previous invited speakers:
Darren Tapp ( Dash Investment Foundation )Advancements in Consensus Algorithms With Applications to Special Purpose Contracts
Ian Grigg (www.iang.org)On Trust
Igor Artamonov (Splix) (Ethereum classic - ETCDEV, founder)Decentralization for public blockchains
Arthur Breitman (Tezos, founder)Models for Smart Contracts: present and future perspectives
Bud Mishra (NYU)BURPA or Bust! How to build a Bio-Unified Research Project Agency?
Vitalik Buterin (Ethereum, founder)Blockchain and Smart Contract Mechanisms Design Challenges -
Previous editions:
WTSC'22 Proceedings LNCS 13412 TO APPEAR Springer
WTSC'21 Proceedings LNCS 12676 Springer
WTSC'20 Proceedings LNCS 12063 Springer
WTSC'19 Proceedings LNCS 11599 Springer
WTSC'18 Proceedings LNCS 10958 Springer
WTSC'17 Proceedings LNCS 10323 Springer -
Sponsorship
Interested in supporting the event? Please contact us. - IFCA is seeking funding to continue its program of financial support specifically for students attending FC and associated workshops. Further details on Student Stipends and how to apply on the FC's call for papers page.
FC is organized annually by the International Financial Cryptography Association in cooperation with IACR.