Abstract is missing.
- Risk Framework for Bitcoin Custody Operation with the Revault ProtocolJacob Swambo, Antoine Poinsot. 3-20 [doi]
- Regulatory Considerations on Centralized Aspects of DeFi Managed by DAOsRyosuke Ushida, James Angel. 21-36 [doi]
- Collaborative DeanonymizationPatrik Keller, Martin Florian, Rainer Böhme. 39-46 [doi]
- Re: FinCEN Docket Number FINCEN-2020-0020; RIN 1506-AB47; Requirements for Certain Transactions Involving Convertible Virtual Currency or Digital AssetsRyan Taylor. 47-53 [doi]
- Analyzing FinCEN's Proposed Regulation Relating to AML and KYC LawsAaron Wright, Sachin Meier. 54-62 [doi]
- Optimal Fees for Geometric Mean Market MakersAlex Evans, Guillermo Angeris, Tarun Chitra. 65-79 [doi]
- Market Based Mechanisms for Incentivising Exchange Liquidity ProvisionW. Gawlikowicz, B. Mannerings, T. Rudolph, David Siska. 80-96 [doi]
- Understand Volatility of Algorithmic Stablecoin: Modeling, Verification and Empirical AnalysisWenqi Zhao, Hui Li, Yuming Yuan. 97-108 [doi]
- Measuring Asset Composability as a Proxy for DeFi IntegrationVictor von Wachter, Johannes Rude Jensen, Omri Ross. 109-114 [doi]
- Demystifying Pythia: A Survey of ChainLink Oracles Usage on EthereumMudabbir Kaleem, Weidong Shi. 115-123 [doi]
- On Stablecoin Price Processes and ArbitrageIngolf Gunnar Anton Pernice. 124-135 [doi]
- Red-Black Coins: Dai Without LiquidationsMehdi Salehi, Jeremy Clark, Mohammad Mannan. 136-145 [doi]
- Formal Analysis of Composable DeFi ProtocolsPalina Tolmach, Yi Li, Shang-Wei Lin 0001, Yang Liu 0003. 149-161 [doi]
- How to Exploit a DeFi ProjectXinyuan Sun, Shaokai Lin, Vilhelm Sjöberg, Jay Jie. 162-167 [doi]
- DeFi as an Information AggregatorJiasun Li. 171-176 [doi]
- A Game-Theoretic Analysis of Cross-ledger Swaps with Packetized PaymentsAlevtina Dubovitskaya, Damien Ackerer, Jiahua Xu. 177-187 [doi]
- Wendy Grows Up: More Order FairnessKlaus Kursawe. 191-196 [doi]
- Measuring Illicit Activity in DeFi: The Case of EthereumJiasun Li, Foteini Baldimtsi, Joao P. Brandao, Maurice Kugler, Rafeh Hulays, Eric Showers, Zain Ali, Joseph Chang. 197-203 [doi]
- Global Order Routing on Exchange NetworksVincent Danos, Hamza El Khalloufi, Julien Prat. 207-226 [doi]
- Towards a Theory of Decentralized FinanceMassimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente. 227-232 [doi]
- Auditing Hamiltonian ElectionsMichelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic. 235-250 [doi]
- Cast-as-Intended: A Formal Definition and Case StudiesPeter B. Rønne, Peter Y. A. Ryan, Ben Smyth. 251-262 [doi]
- Mobile Voting - Still Too Risky?Sven Heiberg, Kristjan Krips, Jan Willemson. 263-278 [doi]
- New Standards for E-Voting Systems: Reflections on Source Code ExaminationsThomas Haines, Peter B. Rønne. 279-289 [doi]
- Post-quantum Online Voting SchemeGuillaume Kaim, Sébastien Canard, Adeline Roux-Langlois, Jacques Traoré. 290-305 [doi]
- Short Paper: Ballot Secrecy for Liquid DemocracyMahdi Nejadgholi, Nan Yang, Jeremy Clark. 306-314 [doi]
- Shorter Lattice-Based Zero-Knowledge Proofs for the Correctness of a ShuffleJavier Herranz, Ramiro Martínez, Manuel Sánchez. 315-329 [doi]
- On-Chain Smart Contract Verification over TendermintLuca Olivieri, Fausto Spoto, Fabio Tagliaferro. 333-347 [doi]
- Publicly Verifiable and Secrecy Preserving Periodic AuctionsHisham S. Galal, Amr M. Youssef. 348-363 [doi]
- EthVer: Formal Verification of Randomized Ethereum Smart ContractsLukasz Mazurek. 364-380 [doi]
- Absentia: Secure Multiparty Computation on EthereumDidem Demirag, Jeremy Clark. 381-396 [doi]
- Empirical Analysis of On-chain Voting with Smart ContractsRobert Muth, Florian Tschorsch. 397-412 [doi]
- Mirroring Public Key Infrastructures to Blockchains for On-Chain AuthenticationUlrich Gallersdörfer, Friederike Groschupp, Florian Matthes. 415-430 [doi]
- Reactive Key-Loss Protection in BlockchainsSam Blackshear, Konstantinos Chalkias, Panagiotis Chatzigiannis, Riyaz Faizullabhoy, Irakliy Khaburzaniya, Eleftherios Kokoris-Kogias, Joshua Lind, David Wong, Tim Zakian. 431-450 [doi]
- Merkle Trees Optimized for Stateless Clients in BitcoinBolton Bailey, Suryanarayana Sankagiri. 451-466 [doi]
- Soft Power: Upgrading Chain Macroeconomic Policy Through Soft ForksDionysis Zindros. 467-481 [doi]
- Privacy-Preserving Resource Sharing Using Permissioned Blockchains - (The Case of Smart Neighbourhood)Sepideh Avizheh, Mahmudun Nabi, Saoreen Rahman, Setareh Sharifian, Reihaneh Safavi-Naini. 482-504 [doi]
- SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW CryptocurrenciesAljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Ittay Eyal, Peter Gazi, Sarah Meiklejohn, Edgar R. Weippl. 507-532 [doi]
- Pay to Win: Cheap, Cross-Chain Bribing Attacks on PoW CryptocurrenciesAljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Ittay Eyal, Peter Gazi, Sarah Meiklejohn, Edgar R. Weippl. 533-549 [doi]
- SoK: Lending Pools in Decentralized FinanceMassimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente. 553-578 [doi]
- Standardized Crypto-Loans on the Cardano BlockchainDmytro Kondratiuk, Pablo Lamela Seijas, Alexander Nemish, Simon J. Thompson. 579-594 [doi]
- Fairness in ERC Token Markets: A Case Study of CryptoKittiesKentaro Sako, Shin'ichiro Matsuo, Sachin Meier. 595-610 [doi]
- Coins, Covid, Keynes and K-Shaped RecoveryPepi Martinez, William Huang, Bud Mishra. 611-627 [doi]