WTSC 2017
1st Workshop on Trusted Smart Contracts
in association with Financial Cryptography 17
http://fc17.ifca.ai
A potentially highly transformational technology currently developing on top of blockchain technologies are smart contracts, i.e. self-enforcing agreements in the form of executable programs that are deployed to and run on top of (specialised) blockchains. A prominent example, also in terms of capitalisation and market share, is the Ethereum blockchain. It has a Turing-complete programming model, and bears one of the most striking performed attacks, the DAO attack (not to mention the discussed fork adopted as a counter measure).
These technologies introduce a novel programming framework and execution environment, which are not satisfactory understood at the moment. Multidisciplinary and multifactorial aspects affect correctness, safety, privacy, authentication, efficiency, sustainability, resilience and trust in smart contracts. The definition of new engineering paradigms and further research on programming languages and verification methodologies, and security aspects in general, are needed towards laying the foundations of Trusted Smart Contracts.
A non-exhaustive list of topics of interest and open problems includes:
- - validation and definition of the programming abstractions and execution model,
- - foundations of software engineering for smart contracts,
- - authentication and anonymity management,
- - privacy and privacy-preserving contracts,
- - oblivious transfer,
- - data provenance,
- - access rights,
- - game-theoretic approaches for security and validation,
- - resilience of the validation/mining/execution model,
- - verification of the properties expected to be enforced by smart contracts,
- - fairness and decentralisation of contracts and their management,
- - effects of consensus mechanisms and proof-of mechanisms on smart contracts,
- - blockchain data analysis,
- - rewards, economics and sustainability/stability of the framework,
- - comparison of the permissioned and non-permissioned scenarios,
- - use cases and killer applications of smart contracts,
- - future outlook on smart contract technologies.
Existing frameworks adopt different solutions to issues like the above ones, whose merits are still to be fully evaluated and compared by means of systematic scientific investigation.
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. TSC focuses primarily on smart contracts as an application layer on top of blockchains. Aspects of the underlying supporting blockchains may clearly become relevant in so much as they affect properties of the smart contracts. Experts from fields like (non-exhaustive list):
- - programming languages,
- - verification,
- - security,
- - software engineering,
- - decision and game theory,
- - cryptography,
- - finance and economics,
- - monetary systems,
as well as, practitioners and relevant companies, are invited to take part and submit their findings, case studies and reports on open problems for presentation at the workshop.
INVITED SPEAKER
Vitalik Buterin
Ethereum Foundation (founder)
"Blockchain and Smart Contract Mechanism Design Challenges”
PROGRAM CHAIRS
Andrea Bracciali University of Stirling
Massimiliano Sala University of Trento
PROGRAM COMMITTEE
Massimo Bartoletti University of Cagliari, IT
Eimear Byrne UCD, IE
Martin Chapman King’s College London, UK
Tiziana Cimoli University of Cagliari, IT
Nicola Dimitri University of Siena, IT
Laetitia Gauvin ISI Foundation, IT
Davide Grossi Liverpool University, UK
Iain Henderson Jlink Lab, US
Yoichi Hirai Ethereum DEV UG, DE
Camilla Hollanti Aalto University, FI
Loi Luu National University of Singapore, SG
Michele Marchesi University of Cagliari, IT
Peter McBurney King’s College London, UK
Neil McLaren Avaloq, UK
Mihail Mihaylov Vrije Universiteit Brussel, BE
Philippe Meyer Avaloq, UK
Sead Muftic KTH, SE
Daniela Paolotti ISI Foundation, IT
Federico Pintore University of Trento, IT
Jason Teutsch University of Chicago, US
Roberto Tonelli University of Cagliari, IT
Ilya Sergey UCL, UK
Luca Vigano’ King's College, UK
Yaron Velner Hebrew University, IL
This conference is organized annually by the International Financial Cryptography Association in cooperation with IACR.
Submitted by Anonymous
on
1st Workshop on Trusted Smart Contracts
in association with Financial Cryptography 17
http://fc17.ifca.ai
A potentially highly transformational technology currently developing on top of blockchain technologies are smart contracts, i.e. self-enforcing agreements in the form of executable programs that are deployed to and run on top of (specialised) blockchains. A prominent example, also in terms of capitalisation and market share, is the Ethereum blockchain. It has a Turing-complete programming model, and bears one of the most striking performed attacks, the DAO attack (not to mention the discussed fork adopted as a counter measure).
These technologies introduce a novel programming framework and execution environment, which are not satisfactory understood at the moment. Multidisciplinary and multifactorial aspects affect correctness, safety, privacy, authentication, efficiency, sustainability, resilience and trust in smart contracts. The definition of new engineering paradigms and further research on programming languages and verification methodologies, and security aspects in general, are needed towards laying the foundations of Trusted Smart Contracts.
A non-exhaustive list of topics of interest and open problems includes:
- - validation and definition of the programming abstractions and execution model,
- - foundations of software engineering for smart contracts,
- - authentication and anonymity management,
- - privacy and privacy-preserving contracts,
- - oblivious transfer,
- - data provenance,
- - access rights,
- - game-theoretic approaches for security and validation,
- - resilience of the validation/mining/execution model,
- - verification of the properties expected to be enforced by smart contracts,
- - fairness and decentralisation of contracts and their management,
- - effects of consensus mechanisms and proof-of mechanisms on smart contracts,
- - blockchain data analysis,
- - rewards, economics and sustainability/stability of the framework,
- - comparison of the permissioned and non-permissioned scenarios,
- - use cases and killer applications of smart contracts,
- - future outlook on smart contract technologies.
Existing frameworks adopt different solutions to issues like the above ones, whose merits are still to be fully evaluated and compared by means of systematic scientific investigation.
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. TSC focuses primarily on smart contracts as an application layer on top of blockchains. Aspects of the underlying supporting blockchains may clearly become relevant in so much as they affect properties of the smart contracts. Experts from fields like (non-exhaustive list):
- - programming languages,
- - verification,
- - security,
- - software engineering,
- - decision and game theory,
- - cryptography,
- - finance and economics,
- - monetary systems,
as well as, practitioners and relevant companies, are invited to take part and submit their findings, case studies and reports on open problems for presentation at the workshop.
INVITED SPEAKER
Vitalik Buterin
Ethereum Foundation (founder)
"Blockchain and Smart Contract Mechanism Design Challenges”
PROGRAM CHAIRS
Andrea Bracciali University of Stirling
Massimiliano Sala University of Trento
PROGRAM COMMITTEE
Massimo Bartoletti University of Cagliari, IT
Eimear Byrne UCD, IE
Martin Chapman King’s College London, UK
Tiziana Cimoli University of Cagliari, IT
Nicola Dimitri University of Siena, IT
Laetitia Gauvin ISI Foundation, IT
Davide Grossi Liverpool University, UK
Iain Henderson Jlink Lab, US
Yoichi Hirai Ethereum DEV UG, DE
Camilla Hollanti Aalto University, FI
Loi Luu National University of Singapore, SG
Michele Marchesi University of Cagliari, IT
Peter McBurney King’s College London, UK
Neil McLaren Avaloq, UK
Mihail Mihaylov Vrije Universiteit Brussel, BE
Philippe Meyer Avaloq, UK
Sead Muftic KTH, SE
Daniela Paolotti ISI Foundation, IT
Federico Pintore University of Trento, IT
Jason Teutsch University of Chicago, US
Roberto Tonelli University of Cagliari, IT
Ilya Sergey UCL, UK
Luca Vigano’ King's College, UK
Yaron Velner Hebrew University, IL
This conference is organized annually by the International Financial Cryptography Association in cooperation with IACR.