ACM CCS Workshop on
Decentralized Finance and Security
November 11, 2022 — Los Angeles, U.S.A.
co-located with the ACM Conference on Computer and Communications Security 2022

Keynote

Uniswap v3, Or How I Learned To Stop Worrying And Love Concentrated Liquidity

Dan Robinson, Paradigm

Biography

Dan Robinson is a Research Partner and the Head of Research at Paradigm, focused on crypto investments and research into open-source protocols. Previously, Dan was a protocol researcher at Interstellar. Before Interstellar, Dan practiced as a litigation attorney at Paul, Weiss, Rifkind, Wharton & Garrison LLP. He earned a J.D. from Harvard Law School and an A.B. from Harvard University.

Programme

Start End Session Title
9:00 9:05 Welcome & opening
9:05 10:00 Keynote Uniswap v3, Or How I Learned To Stop Worrying And Love Concentrated Liquidity by Dan Robinson
10:00 10:20 MEV Improving Proof of Stake Economic Security via MEV Redistribution (Tarun Chitra (Gauntlet); Kshitij Kulkarni (University of California, Berkeley))
10:20 10:40 Strategic Peer Selection Using Transaction Value and Latency (Kushal Babel (Cornell University); Lucas Baker (Jump Crypto))
10:40 11:00 Price of MEV: Towards a Game Theoretical Approach to MEV (Bruno Mazorra (UPF); Michael Reynolds (UCL); Vanesa Daza (UPF))
11:00 11:30 Break ☕️☕️☕️
11:30 11:50 Game Theory and Mechanism Design for DeFi To EVM or Not to EVM: Blockchain Compatibility and Network Effects (Ruizhe Jia (Columbia University); Steven Yin (Scriptus))
11:50 12:10 A Framework for Single-Item NFT Auction Mechanism Design (Jason Milionis, Dean Hirsch, Andy Arditi, and Pranav Garimidi (Columbia University))
12:10 12:30 FairTraDEX: A Decentralised Exchange Preventing Value Extraction (Conor McMenamin and Vanesa Daza (Universitat Pompeu Fabra); Matthias Fitzi (IOHK); Padraic O'Donoghue (None))
12:30 14:00 Lunch 🥪🥪🥪
14:00 14:30 Invited Talk MEV as a Cooperative Game by Xinyuan Sun (Flashbots)
14:30 15:30 Group discussion (welcome contribution from everyone)
15:30 16:00 Break ☕️☕️☕️
16:00 16:20 AMM Exploring Price Accuracy on Uniswap V3 in Times of Distress (Lioba Heimbach, Eric Schertenleib, and Roger Wattenhofer (ETH Zurich))
16:20 16:40 A Note on Borrowing Constant Function Market Maker Shares (Tarun Chitra (Gauntlet); Guillermo Angeris and Alex Evans (Bain Capital Crypto); Hsien-Tang Kao (Gauntlet))
16:40 17:00 Concentrated Liquidity Analysis in Uniswap V3 (Saleh Hashemseresht (unaffiliated); Mohsen Pourpouneh (Copenhagen University))
17:00 17:20 Quantifying Loss in Automated Market Makers (Jason Milionis and Ciamac Moallemi (Columbia University); Tim Roughgarden (Columbia University & a16z Crypto); Anthony Lee Zhang (University of Chicago Booth School of Business))
17:20 17:25 Closing remarks

Call for Papers

Important Dates

  • Submission deadline: August 10, 2022 August 17, 2022
  • Author notification: September 8, 2022
  • Camera-ready deadline: September 22, 2022
  • Workshop: November 11, 2022
All due times are 11:59 PM Anywhere on Earth (UTC-12).

Overview

Powered by blockchains, Decentralized Finance (DeFi) has grown to a significant economy covering exchanges, borrowing/lending, margin trading, derivatives, and more. However, the security of DeFi have to date not received much scrutiny or attention. Indeed, both old (buggy smart contracts, key management failures, etc.) and new security problems (bribery attacks, MEV, etc.) rampage and have cost billions of dollars in loss.

The purpose of this workshop is to unite researchers with deep knowledge in the many subfields of DeFi (network, consensus, game theory, programming language, economics and security), to jointly revisit their security and privacy properties. The primary aim of the workshop is to elaborate on how we can protect DeFi users from malicious trading entities and what kind of attacks those could mount. The workshop, therefore, aims to solicit novel works that refine the fundamental tensions between security, privacy, usability, economic efficiency and performance of DeFi. Second, the workshop aims to provide an academic forum for scholars to exchange, through breaks in virtual social places as well as to participate in an open panel discussion by the end of the workshop.

Program Committee Co-chairs

Program Committee

Steering Committee

Topics of Interest

Topics of interest include (but are not limited to):

  • Systematizations of DeFi
  • Existing and new DeFi attacks
  • Forensics
  • Security relevant DeFi measurements and empirical studies
  • Security of DeFi smart contracts
  • Security of the DeFi application logic
  • Formal analysis, correct by design, security frameworks
  • Security of DeFi governance (manipulation resistance)
  • DeFi composability (e.g., its security and economic implications)
  • Security of over and under-collateralized Lending
  • New financial concepts and their security implications (e.g., flash loans)
  • Manipulation resilience of Stablecoins
  • Exchange Security (manipulation resilience, front-running, sandwich)
  • Derivatives
  • Insurances
  • Secure margin and leverage trading
  • DeFi on Layer 2
  • Miner Extractable Value
  • Security impact of DeFi on other layers (e.g., consensus, network layer)
  • DeFi scalability issues and solutions
  • Security and economic trade-offs
  • User studies
  • DeFi Privacy (e.g., transaction graph analysis, mixer)
  • Token models
  • Censorship resistance

Submissions Policy

Any link to previously published or concurrently submitted papers by any of the writers must be clearly documented in all submissions, i.e., submissions must be original work. Your submission will be rejected if you fail to define and explain contribution overlaps. It is not allowed to send the same paper to another venue with proceedings or a journal at the same time, as this would result in a desk reject. Please contact the program committee chairs if you have any questions.

SoK

Papers on Systemization of Knowledge (SoK) are welcome. These aren't surveys of previous academic work, but rather a set of findings that have been presented informally by the open-source community or used in operational projects. SoK submissions should have an “SoK:” prefix in the title.

Anonymous Submission

Papers must be provided in a way that allows for anonymous reviews: no author names or affiliations should appear on the title page, and the submission should not disclose the authors' identities in the document. When referring to your prior work, please pretend that prior work is written by someone else. Then blind the references itself if a third-person reference isn't possible (unusual). This policy is not breached if the paper is released as a technical report or in an online archive. If you have any concerns, please contact the program chairs. Papers that are not anonymized correctly should be rejected without its content being reviewed.

Conflict of Interest

When submitting a research paper, the submission site will inquire about any possible conflicts of interest between the paper's authors and members of the program committee (PC). According to the following definition, it is the sole duty of all authors of a paper to recognize all possible conflict-of-interest PC participants. When one or more of the following criteria apply, a paper author has a conflict of interest with a PC member:

  • The PC member is a co-author of the submitted paper.
  • The PC member was in the last two years in the same company or university as a co-author of the submitted paper.
  • The PC member collaborated with a co-author in the last two years.
  • No matter how long ago, the PC member is or was a co-author's primary thesis advisor.
  • No matter how long ago, a co-author is or was the PC member's primary thesis advisor.
  • The author's PC member is a relative or close personal friend.

Whenever a PC member or co-chair is in conflict with a paper, the PC member or co-chair must not review the paper nor have access to the reviews or discussions. Any other case in which the authors believe they have a dispute or conflict with a PC member, they must proactively explain the reason to the PC chairs, who will mark the conflict if necessary. As of the submission date, papers with incorrect or incomplete conflict of interest details will be automatically refused. When one of the program co-chairs is unable to decide on a paper, the other co-chair would become responsible. When all program co-chairs are in conflict, the paper will be delegated to a neutral committee member. Co-chairs of the program are not permitted to be authors or co-authors on any submission.

Human Subjects and Ethical Considerations

Papers that perform human subject studies, evaluate data extracted from human subjects (even anonymized data), or otherwise place humans in danger or affect their financial condition must:

  • If appropriate, state whether the study obtained approval or a waiver from each author's institutional ethics review board (IRB).
  • Examine the measures taken to ensure that participants and those who could have been hurt by an experiment were treated ethically and respectfully.

If the submission reveals novel bugs or vulnerabilities (for example, software flaws in a program or design flaws in a hardware system), the authors must explain the steps they have taken or intend to take to fix these flaws in detail (e.g., by disclosing vulnerabilities to the vendors). If the submission includes personally identifiable information (PII) or other forms of confidential data, the same rules apply. If a paper poses serious ethical or legal issues, it may be rejected.

Page Limit and Formatting

We welcome papers of up to 6 pages, excluding references and bibliographies, in the double column ACM CCS format. Submissions should be anonymized. Authors of accepted papers must guarantee that one of the authors will register and present the paper at the workshop.

Submission Server

https://defi22.hotcrp.com/

Questions?

Send direct queries via email to [email protected].