48 citations · 122 across the 17 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 1 cited
Solo: A Lightweight Static Analysis for Differential Privacy
Chike Abuah, David Darais, Joseph P. Near
All current approaches for statically enforcing differential privacy in higher order languages make use of either linear or relational refinement types. A barrier to adoption for t…
cs.PL2021
DDUO: General-Purpose Dynamic Analysis for Differential Privacy
Chike Abuah, Alex Silence, David Darais +1
Differential privacy enables general statistical analysis of data with formal guarantees of privacy protection at the individual level. Tools that assist data analysts with utilizi…