![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
25th Financial Cryptography 2021: Virtual Event - Workshops
- Matthew Bernhard, Andrea Bracciali
, Lewis Gudgeon, Thomas Haines, Ariah Klages-Mundt, Shin'ichiro Matsuo, Daniel Perez, Massimiliano Sala
, Sam Werner:
Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12676, Springer 2021, ISBN 978-3-662-63957-3
CoDecFin - DeFi Risks
- Jacob Swambo, Antoine Poinsot:
Risk Framework for Bitcoin Custody Operation with the Revault Protocol. 3-20 - Ryosuke Ushida, James Angel:
Regulatory Considerations on Centralized Aspects of DeFi Managed by DAOs. 21-36
CoDecFin - AML/KYC and Privacy
- Patrik Keller, Martin Florian, Rainer Böhme:
Collaborative Deanonymization. 39-46 - Ryan Taylor:
Re: FinCEN Docket Number FINCEN-2020-0020; RIN 1506-AB47; Requirements for Certain Transactions Involving Convertible Virtual Currency or Digital Assets. 47-53 - Aaron Wright, Sachin Meier:
Analyzing FinCEN's Proposed Regulation Relating to AML and KYC Laws. 54-62
DeFi - Protocol Design
- Alex Evans, Guillermo Angeris
, Tarun Chitra:
Optimal Fees for Geometric Mean Market Makers. 65-79 - W. Gawlikowicz, B. Mannerings, T. Rudolph, David Siska:
Market Based Mechanisms for Incentivising Exchange Liquidity Provision. 80-96 - Wenqi Zhao, Hui Li, Yuming Yuan:
Understand Volatility of Algorithmic Stablecoin: Modeling, Verification and Empirical Analysis. 97-108 - Victor von Wachter
, Johannes Rude Jensen, Omri Ross:
Measuring Asset Composability as a Proxy for DeFi Integration. 109-114 - Mudabbir Kaleem, Weidong Shi:
Demystifying Pythia: A Survey of ChainLink Oracles Usage on Ethereum. 115-123 - Ingolf Gunnar Anton Pernice:
On Stablecoin Price Processes and Arbitrage. 124-135 - Mehdi Salehi, Jeremy Clark, Mohammad Mannan:
Red-Black Coins: Dai Without Liquidations. 136-145
DeFi - Formal Attack Analysis
- Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu
:
Formal Analysis of Composable DeFi Protocols. 149-161 - Xinyuan Sun, Shaokai Lin, Vilhelm Sjöberg, Jay Jie:
How to Exploit a DeFi Project. 162-167
DeFi - Economics and Regulation
- Jiasun Li:
DeFi as an Information Aggregator. 171-176 - Alevtina Dubovitskaya
, Damien Ackerer
, Jiahua Xu
:
A Game-Theoretic Analysis of Cross-ledger Swaps with Packetized Payments. 177-187
DeFi - MEV and Illicit Activity
- Klaus Kursawe:
Wendy Grows Up: More Order Fairness. 191-196 - Jiasun Li, Foteini Baldimtsi, Joao P. Brandao, Maurice Kugler, Rafeh Hulays, Eric Showers, Zain Ali, Joseph Chang:
Measuring Illicit Activity in DeFi: The Case of Ethereum. 197-203
DeFi - Order Routing and Formal Methods
- Vincent Danos, Hamza El Khalloufi, Julien Prat:
Global Order Routing on Exchange Networks. 207-226 - Massimo Bartoletti, James Hsin-yu Chiang
, Alberto Lluch-Lafuente
:
Towards a Theory of Decentralized Finance. 227-232
Voting
- Michelle L. Blom
, Philip B. Stark
, Peter J. Stuckey
, Vanessa Teague
, Damjan Vukcevic
:
Auditing Hamiltonian Elections. 235-250 - Peter B. Rønne
, Peter Y. A. Ryan, Ben Smyth:
Cast-as-Intended: A Formal Definition and Case Studies. 251-262 - Sven Heiberg, Kristjan Krips, Jan Willemson
:
Mobile Voting - Still Too Risky? 263-278 - Thomas Haines, Peter B. Rønne
:
New Standards for E-Voting Systems: Reflections on Source Code Examinations. 279-289 - Guillaume Kaim, Sébastien Canard, Adeline Roux-Langlois
, Jacques Traoré:
Post-quantum Online Voting Scheme. 290-305 - Mahdi Nejadgholi, Nan Yang, Jeremy Clark:
Short Paper: Ballot Secrecy for Liquid Democracy. 306-314 - Javier Herranz, Ramiro Martínez
, Manuel Sánchez:
Shorter Lattice-Based Zero-Knowledge Proofs for the Correctness of a Shuffle. 315-329
WTSC - Security and Verification
- Luca Olivieri
, Fausto Spoto
, Fabio Tagliaferro
:
On-Chain Smart Contract Verification over Tendermint. 333-347 - Hisham S. Galal
, Amr M. Youssef:
Publicly Verifiable and Secrecy Preserving Periodic Auctions. 348-363 - Lukasz Mazurek
:
EthVer: Formal Verification of Randomized Ethereum Smart Contracts. 364-380 - Didem Demirag, Jeremy Clark:
Absentia: Secure Multiparty Computation on Ethereum. 381-396 - Robert Muth, Florian Tschorsch:
Empirical Analysis of On-chain Voting with Smart Contracts. 397-412
WTSC - Foundations
- Ulrich Gallersdörfer
, Friederike Groschupp
, Florian Matthes:
Mirroring Public Key Infrastructures to Blockchains for On-Chain Authentication. 415-430 - Sam Blackshear, Konstantinos Chalkias, Panagiotis Chatzigiannis, Riyaz Faizullabhoy, Irakliy Khaburzaniya, Eleftherios Kokoris-Kogias, Joshua Lind, David Wong, Tim Zakian:
Reactive Key-Loss Protection in Blockchains. 431-450 - Bolton Bailey, Suryanarayana Sankagiri:
Merkle Trees Optimized for Stateless Clients in Bitcoin. 451-466 - Dionysis Zindros:
Soft Power: Upgrading Chain Macroeconomic Policy Through Soft Forks. 467-481 - Sepideh Avizheh, Mahmudun Nabi, Saoreen Rahman, Setareh Sharifian, Reihaneh Safavi-Naini:
Privacy-Preserving Resource Sharing Using Permissioned Blockchains - (The Case of Smart Neighbourhood). 482-504
WWTSC - Attacks' Analysis
- Aljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Ittay Eyal, Peter Gazi, Sarah Meiklejohn, Edgar R. Weippl:
SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies. 507-532 - Aljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Ittay Eyal, Peter Gazi, Sarah Meiklejohn, Edgar R. Weippl:
Pay to Win: Cheap, Cross-Chain Bribing Attacks on PoW Cryptocurrencies. 533-549
WTSC - DeFi and Tokens
- Massimo Bartoletti, James Hsin-yu Chiang
, Alberto Lluch-Lafuente
:
SoK: Lending Pools in Decentralized Finance. 553-578 - Dmytro Kondratiuk, Pablo Lamela Seijas
, Alexander Nemish, Simon J. Thompson
:
Standardized Crypto-Loans on the Cardano Blockchain. 579-594 - Kentaro Sako, Shin'ichiro Matsuo, Sachin Meier:
Fairness in ERC Token Markets: A Case Study of CryptoKitties. 595-610 - Pepi Martinez, William Huang, Bud Mishra:
Coins, Covid, Keynes and K-Shaped Recovery. 611-627
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.