Resources

13 results

13 results

Expressive Authorization Policies using Computation Principals

A Calculus for Flow-Limited Authorization

Property conveyances as a programming language

How to Send a Real Number Using a Single Bit (and Some Shared Randomness)

SALSA: Self-Adjusting Lean Streaming Analytics

Partitioned Learned Bloom Filters

Thwarting Vote Buying Through Decoy Ballots

Dynamic Posted-Price Mechanisms for the Blockchain Transaction-Fee Market

Low-cost attacks on Ethereum 2.0 by sub-1/3 stakeholders

Selfish Behavior in the Tezos Proof-of-Stake Protocol

Defending Against Malicious Reorgs in Tezos Proof-of-Stake

The Political Economy of Blockchain Governance