posted by user: Cryp_in_to || 567 views || tracked by 5 users: [display]

WTSC19@FC 2019 : WTSC19@FC 2019 : 3rd Workshop on Trusted Smart Contracts 2019

FacebookTwitterLinkedInGoogle

Link: https://fc19.ifca.ai/wtsc/
 
When Feb 22, 2019 - Feb 22, 2019
Where St. Kitts
Abstract Registration Due Dec 14, 2018
Submission Deadline Dec 20, 2018
Notification Due Jan 10, 2019
Categories    blockchain technologies   smart contract verification   decentralised computing   cryptocurrencies
 

Call For Papers

---------------------------------------------------------------------------

3rd Workshop on Trusted Smart Contracts (WTSC'19) - https://fc19.ifca.ai/wtsc/


February 22, 2019
St. Kitts Marriott Resort


In Association with Financial Cryptography 19 (FC 2019) - https://fc19.ifca.ai/
-----------------------------------------------------------------------------



CALL FOR PAPERS

Smart contracts, an highly transformational technology, are
self-enforcing agreements in the form of executable programs
that are deployed to and run on top of blockchains.

Several proposals have developed the idea of algorithmic validation
of decentralised trust, along Szabo's intuition.The first significant
example was the Ethereum blockchain. A myriad of possible further
directions have been proposed, many of them are in active development.

These technologies introduce a novel programming framework and
execution environment, which are not satisfactorily understood at the
moment. 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 to issues like the above ones. Merits of
proposed solutions are still to be fully evaluated and compared by
means of systematic scientific investigation, and further research is
needed towards laying the foundations of Trusted Smart Contracts.

A non-exhaustive list of topics of interest, open problems and future
directions includes:


- validation and definition of the programming abstractions and execution model,

- verification of the properties expected to be enforced by smart contracts,

- incentives, governance, participatory models, and implications on smart contracts,

- resilience of the consensus/validation/mining/execution model,

- fairness and decentralisation of contracts and their management,

- rewards, economics and sustainability/stability of the framework,

- off-chain interaction and context,

- sharding, concurrency, and parallelism in smart contracts,

- effects of consensus mechanisms and proof-of mechanisms on smart contracts,

- game-theoretic approaches for security and validation,

- digital and ring signature

- multiparty computation and homomorphic encryption for the privacy of smart contract execution

- privacy and privacy-preserving contracts,

- authentication and anonymity management,

- oblivious transfer,

- data provenance,

- access rights,

- foundations of software engineering for smart contracts,

- blockchain data analysis,

- comparison of the permissioned and non-permissioned scenarios,

- use cases and killer applications of smart contracts,

- regulation and law enforcement,

- future outlook on smart contract technologies,


WTSC focuses on smart contracts as an application layer on top of blockchains,
however aspects of the underlying supporting blockchains clearly become
relevant in so much as they affect properties of the smart contracts, and are
of great interest for WTSC.

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.

Associated to Financial Cryptography, a recognised premiere conference for the
blockchain world, WTSC aims to become a reference venue for the discussion
of cutting-edge smart contracts and associated blockchain technologies.

Experts in fields including (but not limited to):

- programming languages,

- verification,

- security,

- software engineering,

- decision and game theory,

- cryptography,

- finance and economics,

- monetary systems,

- finance and economics,

- regulation and law,

as well as, practitioners and companies interested in blockchain technologies,
are invited to submit their findings, case studies and reports on open problems
for presentation at the workshop, to take part in this third edition of WTSC and
make it a lively forum.



INVITED SPEAKERS

Continuing on WTSC tradition — Buterin (Ethereum) 2017, Breitman (Tezos)
and Mishra (NYU) 2018, 2019 invited speakers are


Ian Grigg
“On Trust”


Igor Artamonov (Splix)
“Why Decentralization is important for Secure and Reliable Smart Contracts?”

Ethereum Classic - ETCDEV Founder



IMPORTANT DATES

WTSC adopts for the second year a submission schedule **with double deadline**.
A first deadline will allow authors to plan their participation well in advance. A second deadline will allow authors who need extra time to develop their contributions, to have a further opportunity to participate. Selected borderline papers from the first
deadline will be considered for and also allowed to resubmit to the second deadline.

Abstract registration is kindly requested in advance.


Abstract Registration: 14 December, 2018

Paper Submission Deadline: 20 December, 2018

Early Author Notification: 10 January, 2019


Late Submission Deadline: 15 January, 2019

Late Author Notification: 28 January, 2019


Early registration deadline: TBA

Final Papers: TBA



WTSC: 22 February, 2019

Financial Cryptography: 18 February, 2019



SUBMISSION

WTSC solicits submissions of manuscripts that represent significant and novel research
contributions. Submissions must not substantially overlap with works that have been
published or that are simultaneously submitted to a journal or a conference with proceedings.

Submissions should follow the Springer Lecture Notes in Computer Science format and
should be no more than 15 pages including references and appendices. Papers may also
be in a short format, no more than 8 pages including references and appendices.

In-progress work and developing ideas can be submitted as a poster.

Also "Systemization of Knowledge" papers will be accepted and have a page limit of 15 pages but *excluding* references. These should be marked "SoK:".

Accepted papers will appear in the proceedings published by Springer Lecture Notes in
Computer Science. Authors who seek to submit their works to journals may opt-out by
publishing an extended abstract only.

All submissions will be reviewed double-blind, and as such, must be anonymous, with no
author names, affiliations, acknowledgements, or obvious references.



SUBMISSION PAGE

Contributions can be submitted at this link:

https://easychair.org/conferences/?conf=wtsc19




PROGRAM CHAIRS

Andrea Bracciali -- University of Stirling, UK

Federico Pintore -- University of Oxford, UK

Massimiliano Sala -- University of Trento, IT



PROGRAM COMMITTEE


Igor Artamonov -- Ethereum Classic Dev

Bob Atkey (TBC) -- Strathclyde University, UK

Marcella Atzori -- UCL, UK / IFIN, IT

Daniel Augot -- INRIA, FR

Massimo Bartoletti -- University of Cagliari, IT

Devraj Basu -- Strathclyde University, UK

Stefano Bistarelli -- University of Perugia, IT

Christina Boura -- Versailles SQY Univ., FR

Daniel Broby -- Strathclyde University, UK

Bill Buchanan -- Napier University, UK

James Chapman -- IOHK, HK

Martin Chapman -- King’s College London, UK

Tiziana Cimoli -- University of Cagliari, IT

Nicola Dimitri -- University of Siena, IT

Nadia Fabrizio -- Cefriel, IT

Jamie Gabbay -- Heriot-Watt University, UK

Laetitia Gauvin -- ISI Foundation, IT

Neil Ghani -- Strathclyde University, UK

Oliver Giudice -- Banca d’Italia, IT

Davide Grossi -- University of Groningen, NL

Yoichi Hirai -- brainbot technologies AG, DE

Lars R. Knudsen -- Technical University of Denmark, DK

Ioannis Kounelis -- Joint Research Center, European Commission, IT

Victoria Lemieux -- The University of British Columbia, CA

Loi Luu -- National University of Singapore, SG

Carsten Maple -- Warwick University, UK

Michele Marchesi -- University of Cagliari, IT

Fabio Martinelli -- IIT-CNR, IT

Neil McLaren -- ConsenSys, UK

Patrick McCorry -- King's College London, UK

Sihem Mesnager -- University of Paris VIII, FR

Philippe Meyer -- Avaloq, CH

Bud Mishra -- NYU, USA

Carlos Molina-Jimenez -- University of Cambridge, UK

Massimo Morini -- Banca IMI, IT

Immaculate Motsi -- University of Warwick, UK

Alex Norta -- Tallin University of Technology, EW

Jason Teutsch -- Truebit, USA

Roberto Tonelli -- University of Cagliari, IT

Luca Vigano’ -- University of Verona, IT

Philip Wadler -- University of Edinburgh, UK

Yilei Wang -- Hong Kong Polytechnic University, HK

Ales Zamuda -- University of Maribor, SLO

Santiago Zanella-Beguelin -- Microsoft, UK


Related Resources

CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
ICBC 2020   IEEE International Conference on Blockchain and Cryptocurrency 2020
IEEE DAPPS 2020   The 2nd IEEE International Conference on Decentralized Applications and Infrastructures
DASC 2019   17th IEEE International Conference on Dependable Autonomic and Secure Computing
C&TC 2019   9th International Symposium on Secure Virtual Infrastructures -- Cloud and Trusted Computing
IoT-SE_Book 2019   Internet of Things and Secure Smart Environments: Success and Pitfalls
ACM--ICIT--Ei Compendex, Scopus 2019   ACM--2019 The 7th International Conference on Information Technology: IoT and Smart City (ICIT 2019)--Ei Compendex, Scopus
ICEFS 2020   【CPCI / Web of Science】【ISI】【Scopus】2020 4th International Conference on Economics, Finance and Statistics
ICIT--ACM, Ei, Scopus 2019   ACM--2019 The 7th International Conference on Information Technology: IoT and Smart City (ICIT 2019)--Ei Compendex, Scopus
Semiconductor-2020   3rd International conference on Semiconductors Optoelectronics and Nanostructures