Aims and Scope
Since the appearance of Bitcoin in 2009, a plethora of new cryptocurrencies and other blockchain based systems have been deployed with different success. While some of them are slightly different copies of Bitcoin, other ones propose interesting improvements or new usages of the underlying blockchain technology. However, the novelty of such technologies is often tied with rapid developments and proof-of-concept software, and rigorous scientific analyses of the proposed systems are often skipped.
This workshop aims to provide a forum for researchers in this area to carefully analyze current systems and propose new ones in order to create a scientific background for a solid development of new cryptocurrencies and blockchain technology systems.
The main topics include (but are not limited to):
- Anonymity and privacy in cryptocurrencies.
- Privacy-preserving technologies.
- Cryptocurrency based trust systems.
- Security analysis of existing cryptocurrencies.
- Formal threat models in cryptocurrency systems.
- Improvement proposals for existing cryptocurrencies.
- P2P network cryptocurrencies analysis.
- Private transactions in blockchain based systems.
- Consensus mechanisms: proof-of-work, proof of stake, proof of burn, proof-of-useful-work.
- New usages of the blockchain technology.
- Scalability solutions for blockchain systems.
- Smart contracts.
Alex Biryukov, University of Luxembourg, Luxembourg
Email: alex.biryukov [at] uni [dot] lu
Joaquin Garcia-Alfaro, Télécom SudParis, France
Email: joaquin.garcia_alfaro [at] telecom-sudparis [dot] eu
Daniel Augot - INRIA Saclay (France)
Jean-Philippe Aumasson - Kudelski (Switzerland)
George Bissias - University of Massachusetts at Amherst (USA)
Joseph Bonneau - NYU (USA)
Rainer Böhme - Universität Innsbruck (Austria)
Christian Decker - Blockstream (Switzerland)
Sergi Delgado-Segura - UCL (UK)
Arthur Gervais - Imperial College London (UK)
Hannes Hartenstein - KIT (Germany)
Jordi Herrera-Joancomarti - UAB (Catalonia)
Man Ho Au - The Hong Kong Polytechnic University (Hong Kong)
Ghassan Karame - NEC Research (Germany)
Aniket Kate - Purdue University (USA)
Eleftherios Kokoris-Kogias - EPFL (Switzerland)
Patrick McCorry - UCL (UK)
Zaki Manian - Trusted IoT Alliance (USA)
Shin'ichiro Matsuo - Georgetown University (USA)
Pedro Moreno-Sanchez - TU Wien (Autria)
Guillermo Navarro-Arribas - UAB (Catalonia)
Cristina Pérez-Solà - UOC (Catalonia)
Bart Preneel - Katholieke Universiteit Leuven (Belgium)
Tim Ruffing - Blockstream (Switzerland)
Fatemeh Shirazi - Web3 Foundation (Switzerland)
Ewa Syta - Trinity College (USA)
Khalifa Toumi - SystemX (France)
Edgar Weippl - SBA Research (Austria)
We are pleased to announce that Arthur Gervais and Rainer Böhme will be our two keynote speakers.
Speaker: Arthur Gervais
Title: Off Blockchain Protocols
Date: Thursday, September 26
Abstract: A plethora of recent research works have demonstrated different mechanisms on how to perform blockchain transactions without writing every single interaction to the underlying ledger. Instead, these protocols utilize the expensive and low-rate blockchain only as a recourse for disputes. Off-chain protocols promise to complete transactions in sub-seconds rather than minutes or hours while retaining asset security, reducing fees and allowing blockchains to scale. This talk will explore the various lines of research covering off-chain transactions. We will discuss their security and privacy provisions and identify unsolved challenges, indicating promising avenues of future work.
Short Biography: Dr. Gervais is lecturer at Imperial College London (UK). He is Co-Founder, CEO, of Blockchain Scalability Platform. His research focuses on the security, privacy and performance of blockchain technology. Because this technology is still in its infancy, he largely focus on understanding and quantifying the tension points and tradeoffs in terms of security, privacy and performance, with the goal to build a mainstream, scalable, open, and decentralized blockchain protocol. Part of his research is e.g., the design of usable software that securely interacts with networks and hardware, connecting the real world with blockchain, and the design of practical and scalable blockchain platform. His research is inherently multidisciplinary and he frequently collaborate with colleagues worldwide in various fields (e.g., machine learning).
Speaker: Rainer Böhme
Title: Finality from Proof-of-Work Quorums
Date: Friday, September 27
Abstract: We challenge the widely held belief that proof-of-work enables truly permissionless decentralized systems, but the price to pay is that state updates are never final. We propose HotPoW, a scalable permissionless distributed log protocol, as a positive example to support our claim that it is possible to build permissionless consensus protocols *with* finality based on proof-of-work. HotPoW adapts the three-phase commit pipeline recently presented in HotStuff (PODC 2019; used in LibraBFT) by relying on the stochastic uniqueness of proof-of-work quorums, a new theoretical concept for protocol design. We position HotPoW in the design space of consensus protocols and evaluate it with nodes that implement adversarial modifications. The protocol can tolerate network latency, churn, and targeted attacks on consistency and liveness at small overhead compared to Nakamoto consensus. We invite the community to prove our claim wrong, and provide running code to facilitate this task. (Joint work with Patrik Keller)
Short Biography: Rainer Böhme is professor of Computer Science at the University of Innsbruck and head of the Security and Privacy Laboratory. He is a pioneer of interdisciplinary cryptocurrency research and co-founder of one of the leading academic venues in Bitcoin and blockchain research. He served as spokesperson of the German BITCRIME research project (2014-2017) and is principal investigator in the European Commission's Horizon 2020 project TITANIUM (2017-2020) as well as in the VIRTCRIME research project (2018-2019) funded by the Austrian government.
Lightning Networks, Smart Contracts, and Applications
- Marc Leinweber, Matthias Grundmann, Leonard Schonborn and Hannes Hartenstein. TEE-Based Distributed Watchtowers for Fraud Protection in the Lightning Network.
- Georgia Avarikioti, Rolf Scheuner and Roger Wattenhofer. Payment Networks as Creation Games.
- Joran Honig, Maarten Everts and Marieke Huisman. Practical Mutation Testing for Smart Contracts.
- Michael Frowis and Rainer Bohme. The Operational Cost of Ethereum Airdrops.
- Arjun Choudhry, Ikechukwu Dimobi and Zachary Gould. Blockchain Driven Platform for Energy Distribution in a Microgrid.
Payment Systems, Privacy, and Mining
- Georgia Avarikioti, Kenan Besic, Yuyi Wang and Roger Wattenhofer. Online Payment Network Design.
- Kazim Rifat Ozyilmaz, Nazmi Berhan Kongel, Ali Erhat Nalbant and Ahmet Ozcan. A Multi-Protocol Payment System to Facilitate Financial Inclusion.
- Shahla Atapoor and Karim Baghery. Simulation Extractability in Groth's zk-SNARK.
- Rujia Li and Qi Wang. Auditable Credential Anonymity Revocation Based on Privacy-Preserving Smart Contracts.
- George Bissias, David Thibodeau and Brian Levine. Bonded Mining: Difficulty Adjustment by Miner Commitment.
- Hisham Galal, Muhammad Elsheikh and Amr Youssef. An Efficient Micropayment Channel on Ethereum. (Short Paper)
- Jean Yves Zie, Jeremy Briffaut, Benjamin Nguyen and Jean-Christophe Deneuville. Extending Atomic Cross-Chain Swaps. (Short Paper)
- Massimo Bartoletti, Letterio Galletta and Maurizio Murgia. A minimal core calculus for Solidity contracts. (Short Paper)
- Alexander Chepurnoy and Amitabh Saxena. Multi-Stage Contracts in the UTXO Model. (Short Paper)
- Aryaz Eghbali and Roger Wattenhofer. 12 Angry Miners. (Short Paper)
Call for papers
Regular and short papers: Papers must be original and not submitted for publication elsewhere. Authors are invited to submit their manuscripts following the LNCS Proceedings Manuscript style. Papers are limited to 16 pages (full papers), or 8 pages (short papers) including references and appendices. Paper must be submitted in PDF format, using the CBT 2019 submission entry at easychair.
Double blind review: CBT requires anonymized submissions — please make sure that submitted papers contain no author names or obvious self-references.
Accepted conference papers will be published by Springer in the LNCS collection. At least one author of each accepted paper is required to cover a full registration and present their work at the workshop; otherwise the paper will not be included in the proceedings.
Posters: We welcome poster abstracts describing works in progress, or innovative ideas not mature enough to be presented as a paper. The poster track will provide an opportunity to present early-stage work and receive feedback from the community, especially on thought-provoking or controversial work, approaches, or ideas from students.
Submit your posters to email@example.com
Posters shall be submitted for review in the form of an extended abstract that has to be formatted in LNCS-style and not exceed 1 page in length, with a PDF draft of the proposed poster included as page 2 of the submission (A0 size in portrait mode, W 841mm x H 1189 mm, with all fonts embedded in the PDF file). In addition, poster titles should always start with the phrase 'Poster Abstract:'. Accepted posters will be presented at the symposium in a separate session.
Authors of accepted full papers are also
encouraged to submit and present posters of their paper in the
poster session. If the poster submission is for an accepted
paper, add the following keywords to your submission: 'Poster for
Registration stipends for the worshop registration are available for students that present their posters at CBT2019.
Note that the poster abstracts have a separate deadline from the regular papers.
Please contact firstname.lastname@example.org in case of doubts and questions.
To register to CBT 2019, please follow the general registration instructions
for ESORICS 2019 (kindly specify CBT when registering to the registration service).
Kindly follow this link to register.
The workshop will be held in Luxembourg, in conjunction with the 24th annual
European research event in Computer Security (ESORICS 2019) symposium.
More information about the venue is available on the ESORICS 2019 website at https://esorics2019.uni.lu/location/
Travel and accommodation information is also available from the ESORICS 2019 website at the accommodation and travel menu entries.