Security & Privacy on the Blockchain (affiliated with Euro S&P 2020)
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 #IEEESB2020
14:00-14:10 CEST: Welcome and Introductory Remarks
14:10-15:00 CEST: Keynote
De-anonymizing Cryptocurrencies (slides available in workshop Slack channel) Keynote by Sarah Meiklejohn
Sarah Meiklejohn is Associate Professor in Cryptography and Security at UCL Computer Science. She is affiliated with the Information Security Group at UCL and an Associate Director of the Initiative for Cryptocurrencies and Contracts (IC3).
15:00-15:15 CEST: Break
15:15-16:00 CEST: Session #1
FileBounty: Fair Data Exchange (author version, talk video) by Kaihua Qin (Imperial College London),
Simon Janin (X80),
Akaki Mamageishvili (ETH Zurich), and
Arthur Gervais (Imperial College London)
Performance Trade-offs in Design of MimbleWimble Proofs of Reserves (author version, talk video) by Suyash Bagad (Indian Institute of Technology), and
Saravanan Vijayakumaran (Indian Institute of Technology)
zkRelay: Facilitating Sidechains using zkSNARK-based Chain-Relays (author version, talk video) by Martin Westerkamp (Technische Universität Berlin), and
Jacob Eberhardt (Technische Universität Berlin)
16:00-16:10 CEST: Break
16:10-16:40 CEST: Session #2
A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network (author version, talk video) by Sergei Tikhomirov (University of Luxembourg),
Pedro Moreno-Sanchez (TU Wien), and
Matteo Maffei (TU Wien)
Ostraka: Secure Blockchain Scaling by Node Sharding (author version, talk video) by Alex Manuskin (Technion),
Michael Mirkin (Technion), and
Ittay Eyal (Technion)
16:40-16:50 CEST: Break
16:50-17:20 CEST: Session #3
An Automatic Detection and Analysis of the Bitcoin Generator Scam (project website, talk video) by Emad Badawi (University of Ottawa),
Guy-Vincent Jourdan (University of Ottawa),
Gregor Bochmann (University of Ottawa), and
Iosif-Viorel Onut (IBM Centre for Advanced Studies)
CryptoWills: How to Bequeath Cryptoassets (author version, talk video) by István András Seres (Eötvös Loránd University),
Omer Shlomovits (KZen Research), and
Pratyush Ranjan Tiwari (Ashoka University)
17:20 CEST: Final remarks
17:30 CEST - Open End: Online Social Gathering (Experimental, on the YoTribe platform)
University of Genova is hosting this workshop.
IEEE EuroS&P 2020 and all its workshops, including S&B, are converted into an all-digital event.
IEEE S&B 2020 is scheduled as a pre-conference workshop on September 7, 2020.
The registration for the main conference as well as the co-located workshops is open: register here
Tim Ruffing (Blockstream)
Florian Tschorsch (Technical University of Berlin)
Andrew Poelstra, Blockstream
Aniket Kate, Purdue University
Arthur Gervais, Imperial College London
Brandon Goodell, Monero Research Lab
Christian Decker, Blockstream
Christian Reitwiessner, Ethereum Foundation
Clara Schneidewind, TU Wien
Dominique Schröder, FAU Erlangen-Nürnberg
Ethan Heilman, Boston University
George Danezis, Facebook Calibra
Iddo Bentov, Cornell Tech
Ittai Abraham, VMWare
Ittay Eyal, Technion
Jason Teutsch, Truebit
Jeremy Clark, Concordia University
Joseph Bonneau, New York University
Juan Garay, Texas A&M University
Lisa Eckey, TU Darmstadt
Mahnush Movahedi, Yale and DFINITY
Malte Möser, Princeton
Marie Vasek, University College London
Martin Florian, Weizenbaum Institute
Mustafa Al-Bassam, University College London
Pedro Moreno-Sanchez, TU Wien
Rainer Böhme, University of Innsbruck
Roger Wattenhofer, ETH Zurich
Sarah Azouvi, Protocol Labs
Sarang Noether, Monero Research Lab
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 fourth IEEE Security and Privacy on the Blockchain workshop aims to unite interested scholars as well as industrial members and practitioners 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
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
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."
Systemization of Knowledge (SoK)
We solicit systematization of knowledge (SoK) papers that evaluate, systematize, and contextualize existing knowledge, as such papers can provide a high value to our community. Suitable papers are those that provide an important new viewpoint on an established, major research area, support or challenge long-held beliefs in such an area with compelling evidence, or present a convincing, comprehensive new taxonomy of such an area. Survey papers without such insights are not appropriate. Submissions will be distinguished by the prefix "SoK:" in the title and a checkbox on the submission form. They will be reviewed by the full PC and held to the same standards as other submissions, except instead of emphasizing novel research contributions the emphasis will be on value to the community. Accepted papers will be presented at the workshop and can be published in the proceedings like other submissions.
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.
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 (including SoK papers) may not exceed 10 pages, including references and appendices.
Papers must be typeset in LaTeX in A4 format (not "US Letter") using the IEEE conference proceeding template we supply (eurosp-2020-template.zip). We suggest you first compile the supplied LaTeX source as is, checking that you obtain the same PDF as the one supplied, and then write your paper into the LaTeX template, replacing the boilerplate text. Please do not use other IEEE templates. Failure to adhere to the page limit and formatting requirements can be grounds for rejection.
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.
Papers must be submitted online and submissions may be updated at any time until the deadline for submissions.
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.