[crypto] Fwd: Fourth Workshop on Workshop on Trusted Smart Contracts: CFP
R. Hirschfeld
ray at unipay.nl
Fri Nov 8 00:49:58 CET 2019
-------- Original Message --------
Subject: Fourth Workshop on Workshop on Trusted Smart Contracts: CFP
Date: 2019-11-08 00:36
From: Massimiliano Sala <maxsalacodes at gmail.com>
To: Andrea Bracciali <abb at cs.stir.ac.uk>
Cc: cifrischain at decifris.it
[apologies for cross posting - please disseminate !]
---------------------------------------------------------------------------
4-th Workshop on Trusted Smart Contracts (WTSC'20)
February 14, 2020
Shangri-La Tanjung Aru Resort & Spa
<https://www.shangri-la.com/kotakinabalu/tanjungaruresort/>
Kota Kinabalu, Sabah, Malaysia
https://fc20.ifca.ai/wtsc/
In Association with Financial Cryptography 20 (FC 2020)
https://fc20.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,
- theoretical and applied 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 fourth edition of
WTSC and
make it a lively forum.
IMPORTANT DATES
WTSC adopts for the third 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 - if possible.
Abstract Registration: 9 December, 2019
Paper Submission Deadline: 12 December, 2019
Early Author Notification: 4 January, 2020
Late Submission Deadline: 7 January, 2020
Late Author Notification: 20 January, 2019
Early registration deadline: TBA
Final Papers: TBA
WTSC: 14 February, 2019
Financial Cryptography: 10-14 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.
A submission link will be posted on the WTSC20 web site shortly.
PROGRAM CHAIRS
Andrea Bracciali University of Stirling, UK
Massimiliano Sala University of Trento, IT
PROGRAM COMMITTEE (To be completed/confirmed)
Igor Artamonov Ethereum Classic Dev
Bob Atkey Strathclyde University, UK
Daniel Augot INRIA, FR
Massimo Bartoletti University of Cagliari, IT
Surya Bakshi University of Illinois, USA
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
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
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
Pascal Lafourcade IMA, FR
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
Patrick McCorry King's College London, UK
Neil McLaren Avaloq, 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
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
More information about the crypto
mailing list