Stealth Announces New Result on Verifying Differential Privacy at OOPSLA ’22

We are happy to announce a new publication at OOPSLA ’22.

As part of the Wizkit project, Chiké Abuah (UVM), David Darais (Galois), and Joseph P. Near (UVM) presented “Solo: a lightweight static analysis for differential privacy”.  A link to the corresponding publication (in the conference proceedings) can be found here.