111 citations · 383 across the 23 of their papers we have counts for
4 papers · 1 filter
A Language for Probabilistically Oblivious Computation
David Darais, Ian Sweet, Chang Liu +1
An oblivious computation is one that is free of direct and indirect information leaks, e.g., due to observable differences in timing and memory access patterns. This paper presents…
WYS*: A DSL for Verified Secure Multi-party Computations
Aseem Rastogi, Nikhil Swamy, Michael Hicks
Secure multi-party computation (MPC) enables a set of mutually distrusting parties to cooperatively compute, using a cryptographic protocol, a function over their private data. Thi…
Quantifying vulnerability of secret generation using hyper-distributions (extended version)
Mário S. Alvim, Piotr Mardziel, Michael Hicks
Traditional approaches to Quantitative Information Flow (QIF) represent the adversary's prior knowledge of possible secret values as a single probability distribution. This represe…
Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning
Rock Stevens, Octavian Suciu, Andrew Ruef +3
Governments and businesses increasingly rely on data analytics and machine learning (ML) for improving their competitive edge in areas such as consumer satisfaction, threat intelli…