47 citations · 71 across the 6 of their papers we have counts for
11 papers
Adversarial procurement in blockchains
Maryam Bahrani, Michael Neuder, S. Matthew Weinberg
An emerging blockchain protocol design pattern leverages the asymmetry between the computational effort in performing versus verifying tasks. For example, cryptographic validity pr…
Beyond Winner-Take-All Procurement Auctions
Pranav Garimidi, Michael Neuder, Tim Roughgarden
Blockchain protocols often seek to procure computationally challenging work from a decentralized set of participants. While there are simple procurement auctions that result in the…
Selfish Mining under General Stochastic Rewards
Maryam Bahrani, Michael Neuder, S. Matthew Weinberg
Selfish miners selectively withhold blocks to earn disproportionately high revenue. The vast majority of the selfish mining literature focuses exclusively on block rewards. Carlste…
Optimizing Exit Queues for Proof-of-Stake Blockchains: A Mechanism Design Approach
Michael Neuder, Mallesh Pai, Max Resnick
Byzantine fault-tolerant consensus protocols have provable safety and liveness properties for static validator sets. In practice, however, the validator set changes over time, pote…
Strategic Liquidity Provision in Uniswap v3
Zhou Fan, Francisco Marmolejo-Cossío, Daniel J. Moroz +3
Uniswap v3 is the largest decentralized exchange for digital currencies. A novelty of its design is that it allows a liquidity provider (LP) to allocate liquidity to one or more cl…
Low-cost attacks on Ethereum 2.0 by sub-1/3 stakeholders
Michael Neuder, Daniel J. Moroz, Rithvik Rao +1
We outline two dishonest strategies that can be cheaply executed on the Ethereum 2.0 beacon chain, even by validators holding less than one-third of the total stake: malicious chai…
Detection of Local Mixing in Time-Series Data Using Permutation Entropy
Michael Neuder, Elizabeth Bradley, Edward Dlugokencky +2
While it is tempting in experimental practice to seek as high a data rate as possible, oversampling can become an issue if one takes measurements too densely. These effects can tak…
Defending Against Malicious Reorgs in Tezos Proof-of-Stake
Michael Neuder, Daniel J. Moroz, Rithvik Rao +1
Blockchains are intended to be immutable, so an attacker who is able to delete transactions through a chain reorganization (a malicious reorg) can perform a profitable double-spend…
Selfish Behavior in the Tezos Proof-of-Stake Protocol
Michael Neuder, Daniel J. Moroz, Rithvik Rao +1
Proof-of-Stake consensus protocols give rise to complex modeling challenges. We analyze the recently-updated Tezos Proof-of-Stake protocol and demonstrate that, under certain condi…
Anomaly Detection in Paleoclimate Records using Permutation Entropy
Joshua Garland, Tyler R. Jones, Michael Neuder +3
Permutation entropy techniques can be useful in identifying anomalies in paleoclimate data records, including noise, outliers, and post-processing issues. We demonstrate this using…
Climate entropy production recorded in a deep Antarctic ice core
Joshua Garland, Tyler R. Jones, Elizabeth Bradley +2
Paleoclimate records are extremely rich sources of information about the past history of the Earth system. Information theory, the branch of mathematics capable of quantifying the…