Demystifying Pythia: A Survey of ChainLink Oracles Usage on Ethereum
|
2021 |
Kaleem, Mudabbir |
Re: FinCEN Docket Number FINCEN-2020-0020; RIN 1506-AB47; Requirements for Certain Transactions Involving Convertible Virtual Currency or Digital Assets
|
2021 |
Taylor, Ryan |
Understand Volatility of Algorithmic Stablecoin: Modeling, Verification and Empirical Analysis
|
2021 |
Zhao, Wenqi |
Collaborative Deanonymization
|
2021 |
Keller, Patrik |
On Stablecoin Price Processes and Arbitrage
|
2021 |
Pernice, Ingolf Gunnar Anton |
Towards a Theory of Decentralized Finance
|
2021 |
Bartoletti, Massimo |
Measuring Illicit Activity in DeFi: The Case of Ethereum
|
2021 |
Li, Jiasun |
EthVer: Formal Verification of Randomized Ethereum Smart Contracts
|
2021 |
Mazurek, Łukasz |
Cast-as-Intended: A Formal Definition and Case Studies
|
2021 |
Rønne, Peter B. |
Wendy Grows Up: More Order Fairness
|
2021 |
Kursawe, Klaus |
Shorter Lattice-Based Zero-Knowledge Proofs for the Correctness of a Shuffle
|
2021 |
Herranz, Javier |
Formal Analysis of Composable DeFi Protocols
|
2021 |
Tolmach, Palina |
Regulatory Considerations on Centralized Aspects of DeFi Managed by DAOs
|
2021 |
Ushida, Ryosuke |
Risk Framework for Bitcoin Custody Operation with the Revault Protocol
|
2021 |
Swambo, Jacob |
Short Paper: Ballot Secrecy for Liquid Democracy
|
2021 |
Nejadgholi, Mahdi |
Mobile Voting - Still Too Risky?
|
2021 |
Heiberg, Sven |
On-Chain Smart Contract Verification over Tendermint
|
2021 |
Olivieri, Luca |
Auditing Hamiltonian Elections
|
2021 |
Blom, Michelle |
DeFi as an Information Aggregator
|
2021 |
Li, Jiasun |
Global Order Routing on Exchange Networks
|
2021 |
Danos, Vincent |