English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

We propose CheckDP, the first automated and integrated approach for provingor disproving claims that a mechanism is differentially private. CheckDP canfind counterexamples for mechanisms with subtle bugs for which priorcounterexample generators have failed. Furthermore, it was able to\emph{automatically} generate proofs for correct mechanisms for which no formalverification was reported before. CheckDP is built on static program analysis,allowing it to be more efficient and more precise in catching infrequent eventsthan existing counterexample generators (which run mechanisms hundreds ofthousands of times to estimate their output distribution). Moreover, its soundapproach also allows automatic verification of correct mechanisms. Whenevaluated on standard benchmarks and newer privacy mechanisms, CheckDPgenerates proofs (for correct mechanisms) and counterexamples (for incorrectmechanisms) within 70 seconds without any false positives or false negatives.

CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples