1st Workshop on Trusted Smart Contracts(WTSC 2017)

Apr 7,2017

Malta

Call For Papers

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. 

Topics of Interest

• 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.

Important Dates

Submission deadline: Jan 8, 2017.

Notification Due: Jan 27, 2017.

Final Version Due: Feb 17, 2017.

User Name : Anika
Posted 01-11-2016 on 14:48:03 AEDT

Related CFPs

CGDEIJ   Computer Game Development and Education
ACIJ   Advanced Computing: An International Journal