


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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














