Security & Privacy on the Blockchain (affiliated with Euro S&P)
Cryptocurrencies have emerged as a promising instrument for financial transaction services that provide transparency and integrity in a decentralized fashion. Their clever combination of blockchains with new incentive mechanisms facilitate publicly verifiable and peer-to-peer transactions without a trusted central party. As a result, they have caught the attention of academic researchers, mainstream media, regulators, entrepreneurs and traditional financial institutions. As a subject for academic research, the global and self-enforcing nature of blockchains raises interesting questions and challenges across several disciplines including computer science, law, economic and human-computer interaction.
Our workshop focuses on a wide-range of topics ranging from the scalability of cryptocurrencies, achieving and evaluating financial privacy in public blockchains, permissioning access to blockchains to satisfy regulatory requirements, aligning honest behaviour in blockchain ecosystems and smart contracts through the application of game theory and mechanism design, and the critical analysis of various applications of blockchain to other domains.
If you are promoting your paper on any social media channels be sure to use #IEEESB2019
08:45 - Registration open (Note registration is different than EuroS&P, please get new badge in morning for workshops)
09:00-09:15 - Introductory Remarks
09:15-10:30 - Understanding Ethereum
09:15-09:40 - Eclipsing Ethereum Peers with False Friends by Sebastian Henningsen, Daniel Teunis, Martin Florian and Björn Scheuermann
09:40-10:05 - Empirically Analyzing Ethereum’s Gas Mechanism by Renlord Yang, Toby Murray, Paul Rimba and Udaya Parampalli
10:05-10:30 - Discharged Payment Channels: Quantifying the Lightning Network’s Resilience to Topology-Based Attacks by Elias Rohrer, Julian Malliaris and Florian Tschorsch
10:30-11:00 - Coffee Break
11:00-12:15 - Cryptography and the Blockchain
11:00-11:25 - Composing hash functions for mining by Steven Goldfeder and Luca Nizzardo
11:25-11:50 - MProve: A Proof of Reserves Protocol for Monero Exchanges by Arijit Dutta and Saravanan Vijayakumaran
11:50-12:15 - Towards Automatically Penalizing Multimedia Breaches by Easwar Mangipudi, Krutarth Rao, Jeremy Clark and Aniket Kate
12:15-14:00 - Lunch
14:00-15:40 - Blockchain Security
14:00-14:25 - Resolving the Multiple Withdrawal Attack in ERC20 Tokens by Mohammdreza Rahimian and Jeremy Clark
14:25-14:50 - Temporal Censorship in Presence of Rational Miners by Sebastian Faust, Benjamin Herd and Fredrik Winzer
14:50-15:15 - Erasing Data from Blockchain Nodes by Martin Florian, Sophie Beaucamp, Sebastian Henningsen and Björn Scheuermann
15:15-15:40 - Is Stellar As Secure As You Think? by Minjeong Kim, Yujin Kwon and Yongdae Kim
15:40-16:10 - Coffee Break
16:10-17:00 - Simulations and Frameworks
16:10-16:35 - Agent-Based Simulations of Blockchain protocols illustrated via Kadena’s Chainweb by Tarun Chitra, Stuart Haber, Monica Quaintance and Will Martino
16:35-17:00 - TULIP: A Fully Incentive Compatible Blockchain Framework Amortizing Redundant Communication by Oguzhan Ersoy, Zekeriya Erkin and Reginald L. Lagendijk
17:00 - Final remarks
Location
Exact details will be posted later.
Program
Program Committee
Program Chairs
Patrick McCorry (King's College London)
Malte Möser (Princeton University)
Committee
Danny Yuxing Huang - Princeton University
Marie Vasek - University of New Mexico
Arthur Gervais - Imperial College London
Rainer Böhme - Universität Innsbruck
Sergi Delgado Segura - University College London
Philipp Jovanovic - EPFL
Sarah Azouvi - University College London
Ian Miers - Cornell Tech
Steven Goldfeder - Cornell Tech
Christian Decker - Blockstream
Yonatan Sompolinsky - Hebrew University
Jeremy Clark - Concordia University
Matthew Green - Johns Hopkins University
Ethan Heilman - Boston University
Christian Reitwiessner - Ethereum Foundation
Iddo Bentov - Cornell Tech
Pedro Moreno Sanchez - TU Wien
Florian Tschorsch - Technical University of Berlin
Stefanie Roos - TU Delft
Sebastian Faust - TU Darmstadt
Jason Teutsch - Truebit
Christina Garman - Purdue University
Roger Wattenhofer - ETH Zurich
Call for Papers
The emergence of Bitcoin and decentralized cryptocurrencies, and their fundamental innovation---blockchains---have allowed for entities to trade and interact without a central trusted third party. This has led to a captivating research activity in multiple domains and across different venues, such as top security and distributed systems conferences and journals, as well as a vibrant startup rush on this new technology.
The third IEEE Security and Privacy on the Blockchain workshop aims to unite interested scholars as well as industrial members from all relevant disciplines who study and work in the space of blockchains. We solicit previously unpublished papers offering novel contributions in both cryptocurrencies and wider blockchain research. Papers may present advances in the theory, design, implementation, analysis, verification, or empirical evaluation and measurement of existing systems. Papers that shed new light on past or informally known results by means of sound formal theory or through empirical analysis are welcome. Suggested contribution topics include (but are not limited to) empirical and theoretical studies of:
Anonymity and privacy issues and measures to enhance them
Applications using or built on top of blockchains
Atomic Swapping
Big Data and blockchain technology
Bitcoin, Ethereum, Monero, ZCash protocol, other coins and extensions (cryptography, scripting/smart contract language etc.)
Case studies (e.g., of adoption, attacks, forks, scams etc.)
Formal verification of Blockchain protocols and Smart Contracts
Fraud detection and financial crime prevention
Governance
Identity, Identification and trust in blockchain systems
Implications for existing business models
Interfacing fiat and cryptocurrencies
Intermediates in different industries and their future
Internet of things (IoT) and blockchains
Legal and policy implications of Smart Contracts
Legal status of ICO/TGE
Legal, ethical and societal aspects of (decentralized) virtual currencies
New applications of the blockchain
New business models for permissioned and permissionless blockchains
Off-chain payment channels
Peer-to-peer broadcast networks/topologies
Permissioned (e.g. Hyperledger) and permissionless (e.g. Bitcoin) blockchains
Privacy and anonymity-enhancing technologies
Proof-of-work, and its alternatives (e.g., proof-of-stake, proof-of-burn, and virtual mining)
Real-world measurements and metrics
Regulation and law enforcement
Relation to other payment systems
Scalability and scalable services for blockchain systems
Security of blockchains
Smart Contract Programming Languages and VMs
Transaction graph analysis
Usability and user studies
This topic list is not meant to be exhaustive. S&B is interested in all aspects of the blockchain research relating to security and privacy. Papers that are considered out of scope may be rejected without full review. We encourage submissions that are "far-reaching" and "risky."
Instructions for Paper Submissions
All submissions must be original work; the submitter must clearly document any overlap with previously published or simultaneously submitted papers from any of the authors. Failure to point out and explain overlap will be grounds for rejection. Simultaneous submission of the same paper to another venue with proceedings or a journal is not allowed and will be grounds for automatic rejection. Contact the program committee chair if there are questions about this policy.
Anonymous Submission
Papers must be submitted in a form suitable for anonymous review: no author names or affiliations may appear on the title page, and papers should avoid revealing their identity in the text. When referring to your previous work, do so in the third person, as though it were written by someone else. Only blind the reference itself in the (unusual) case that a third-person reference is infeasible. Contact the program chairs if you have any questions. Papers that are not properly anonymized may be rejected without review.
Page Limit and Formatting
Short position papers may not exceed 4 pages total and full papers may not exceed 10 pages, including references and appendices. apers must be typeset in LaTeX in A4 format (not "US Letter") using the IEEE conference proceeding template with the appropriate options [LaTeX template, Template instructions, IEEE Template Repository]. Failure to adhere to the page limit and formatting requirements can be grounds for rejection.
Submission
Submissions must be in Portable Document Format (.pdf). Authors should pay special attention to unusual fonts, images, and figures that might create problems for reviewers. Your document should render correctly in Adobe Reader XI and when printed in black and white.
Conference Submission Server
Papers must be submitted online and submissions may be updated at any time until the deadline for submissions. The submission site is now closed.
Publication and Presentation
Authors are responsible for obtaining appropriate publication clearances. One of the authors of the accepted paper is expected to present the paper at the conference. Submissions received after the submission deadline or failing to conform to the submission guidelines risk rejection without review. Accepted publications can be subject to publication in IEEE proceedings. If authors wish to not publish in IEEE, we will also offer an extended abstract version for publishing. This option will be available when papers are accepted. For more information, contact the chairs.