5 citations · 6 across the 4 of their papers we have counts for
6 papers
Forte: A sensitivity type system for imperative Rust
Chiké Abuah
We introduce Forte, a sensitivity type system for Rust whose soundness rests on ownership. The graded sensitivity type systems, from Fuzz's linear grading to Solo's environment ind…
Tacet: A Language and Type System for Automatic Statistical Validity Accounting
Chiké Abuah
Empirical comparisons between systems are a standard form of evidence in computer science research, but few are checked for statistical validity: most are never framed as statistic…
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…
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…
Contextual Linear Types for Differential Privacy
Matías Toro, David Darais, Chike Abuah +4
Language support for differentially-private programming is both crucial and delicate. While elaborate program logics can be very expressive, type-system based approaches using line…
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah +8
During the past decade, differential privacy has become the gold standard for protecting the privacy of individuals. However, verifying that a particular program provides different…