75 citations · 116 across the 7 of their papers we have counts for
8 papers
Model Checking Bitcoin and other Proof-of-Work Consensus Protocols
Max DiGiacomo-Castillo, Yiyun Liang, Advay Pal +1
The Bitcoin Backbone Protocol [GKL15] is an abstraction of the bitcoin proof-of-work consensus protocol. We use a model-checking tool (UPPAALSMC) to examine the concrete security o…
Resources: A Safe Language Abstraction for Money
Sam Blackshear, David L. Dill, Shaz Qadeer +4
Smart contracts are programs that implement potentially sophisticated transactions on modern blockchain platforms. In the rapidly evolving blockchain environment, smart contract pr…
Privacy-Preserving Shortest Path Computation
David J. Wu, Joe Zimmerman, Jérémy Planul +1
Navigation is one of the most popular cloud computing services. But in virtually all cloud-based navigation systems, the client must reveal her location and destination to the clou…
A Symbolic Logic with Concrete Bounds for Cryptographic Protocols
Anupam Datta, Joseph Y. Halpern, John C. Mitchell +2
We present a formal logic for quantitative reasoning about security properties of network protocols. The system allows us to derive concrete security bounds that can be used to cho…
Data Representation and Compression Using Linear-Programming Approximations
Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie
We propose `Dracula', a new framework for unsupervised feature selection from sequential data such as text. Dracula learns a dictionary of -grams that efficiently compresses a g…
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version)
Stefan Heule, Deian Stefan, Edward Z. Yang +2
Many important security problems in JavaScript, such as browser extension security, untrusted JavaScript libraries and safe integration of mutually distrustful websites (mash-ups),…
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…
A Learning-Based Approach to Reactive Security
Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan +3
Despite the conventional wisdom that proactive security is superior to reactive security, we show that reactive security can be competitive with proactive security as long as the r…