12 citations · 20 across the 3 of their papers we have counts for
4 papers
Symphony: Expressive Secure Multiparty Computation with Coordination
Ian Sweet, David Darais, David Heath +3
Context: Secure Multiparty Computation (MPC) refers to a family of cryptographic techniques where mutually untrusting parties may compute functions of their private inputs while re…
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities
Santiago Cuéllar, Bill Harris, James Parker +2
Currently, when a security analyst discovers a vulnerability in critical software system, they must navigate a fraught dilemma: immediately disclosing the vulnerability to the publ…
What's the Over/Under? Probabilistic Bounds on Information Leakage
Ian Sweet, Jose Manuel Calderon Trilla, Chad Scherrer +2
Quantitative information flow (QIF) is concerned with measuring how much of a secret is leaked to an adversary who observes the result of a computation that uses it. Prior work has…
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…