[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