12 citations · 20 across the 3 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023★ 6 cited
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…
cs.CR2023★ 2 cited
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…