75 citations · 116 across the 7 of their papers we have counts for
3 papers · 1 filter
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),…