143 citations · 183 across the 13 of their papers we have counts for
13 papers
Groundhog: Linearly-Scalable Smart Contracting via Commutative Transaction Semantics
Geoffrey Ramseyer, David Mazières
Groundhog is a novel design for a smart contract execution engine based around concurrent execution of blocks of transactions. Unlike prior work, transactions within a block in Gro…
Accountable authentication with privacy protection: The Larch system for universal login
Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs +1
Credential compromise is hard to detect and hard to mitigate. To address this problem, we present larch, an accountable authentication framework with strong security and privacy pr…
Finding the Right Curve: Optimal Design of Constant Function Market Makers
Mohak Goyal, Geoffrey Ramseyer, Ashish Goel +1
Constant Function Market Makers (CFMMs) are a tool for creating exchange markets, have been deployed effectively in prediction markets, and are now especially prominent in the Dece…
Augmenting Batch Exchanges with Constant Function Market Makers
Geoffrey Ramseyer, Mohak Goyal, Ashish Goel +1
Batch auctions are a classical market microstructure, acclaimed for their fairness properties, and have received renewed interest in the context of blockchain-based financial syste…
Extricating IoT Devices from Vendor Infrastructure with Karl
Gina Yuan, David Mazières, Matei Zaharia
Most consumer IoT devices are vertically integrated with cloud-side infrastructure. Such architectures present enormous risk to user data, exacerbated by vendor heterogeneity and t…
SPEEDEX: A Scalable, Parallelizable, and Economically Efficient Decentralized EXchange
Geoffrey Ramseyer, Ashish Goel, David Mazières
SPEEDEX is a decentralized exchange (DEX) that lets participants securely trade assets without giving any single party undue control over the market. SPEEDEX offers several advanta…
SafetyPin: Encrypted Backups with Human-Memorable Secrets
Emma Dauterman, Henry Corrigan-Gibbs, David Mazières
We present the design and implementation of SafetyPin, a system for encrypted mobile-device backups. Like existing cloud-based mobile-backup systems, including those of Apple and G…
Liquidity in Credit Networks with Constrained Agents
Geoffrey Ramseyer, Ashish Goel, David Mazieres
In order to scale transaction rates for deployment across the global web, many cryptocurrencies have deployed so-called "Layer-2" networks of private payment channels. An idealized…
True2F: Backdoor-resistant authentication tokens
Emma Dauterman, Henry Corrigan-Gibbs, David Mazières +2
We present True2F, a system for second-factor authentication that provides the benefits of conventional authentication tokens in the face of phishing and software compromise, while…
Riposte: An Anonymous Messaging System Handling Millions of Users
Henry Corrigan-Gibbs, Dan Boneh, David Mazières
This paper presents Riposte, a new system for anonymous broadcast messaging. Riposte is the first such system, to our knowledge, that simultaneously protects against traffic-analys…
Cryptographically Enforced Control Flow Integrity
Ali Jose Mashtizadeh, Andrea Bittau, David Mazieres +1
Recent Pwn2Own competitions have demonstrated the continued effectiveness of control hijacking attacks despite deployed countermeasures including stack canaries and ASLR. A powerfu…
Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility (Extended Version)
Vimalkumar Jeyakumar, Mohammad Alizadeh, Yilong Geng +2
This paper presents a practical approach to rapidly introduce new dataplane functionality into networks: End-hosts embed tiny programs into packets to actively query and manipulate…
Flexible Dynamic Information Flow Control in the Presence of Exceptions
Deian Stefan, Alejandro Russo, John C. Mitchell +1
We describe a new, dynamic, floating-label approach to language-based information flow control. A labeled IO monad, LIO, keeps track of a current label and permits restricted acces…