SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Fri 20 Nov 2020 09:20 - 09:40 at SPLASH-III - F-2B Chair(s): Hridesh Rajan
Fri 20 Nov 2020 21:20 - 21:40 at SPLASH-III - F-2B Chair(s): Alex Potanin, Steve Blackburn

Applying differential privacy at scale requires convenient ways to check that
programs
computing with sensitive data appropriately preserve privacy. We propose here a
fully automated framework for {\em testing} differential privacy, adapting a well-known
``pointwise'' technique from informal proofs of differential privacy. Our
framework, called DPCheck,
requires no programmer annotations, handles all previously verified or
tested
algorithms, and is the first fully automated framework to distinguish correct and buggy implementations of PrivTree, a
probabilistically terminating algorithm that has not previously been
mechanically checked.

We analyze the probability of DPCheck mistakenly accepting a non-private
program and prove that, theoretically, the probability of false acceptance can
be made exponentially small by suitable choice of test size.

We demonstrate DPCheck's utility empirically by implementing all benchmark
algorithms from prior work on mechanical verification of differential privacy,
plus several others and their incorrect variants, and show DPCheck accepts the
correct implementations and rejects the incorrect variants.

We also demonstrate how DPCheck can be deployed in a practical workflow to test
differentially privacy for the 2020 US Census Disclosure Avoidance System (DAS).

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 10:20: F-2BOOPSLA at SPLASH-III +12h
Chair(s): Hridesh RajanIowa State University, USA
09:00 - 09:20
Talk
OOPSLA
Xiang GaoNational University of Singapore, Shraddha BarkeUniversity of California at San Diego, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Sumit GulwaniMicrosoft, Alan LeungMicrosoft, Nachiappan NagappanMicrosoft Research, Ashish TiwariMicrosoft
Link to publication DOI Media Attached
09:20 - 09:40
Talk
OOPSLA
Hengchu ZhangUniversity of Pennsylvania, Edo RothUniversity of Pennsylvania, Andreas HaeberlenUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Aaron RothUniversity of Pennsylvania
Link to publication DOI Media Attached
09:40 - 10:00
Talk
OOPSLA
Pengyu NieUniversity of Texas at Austin, Marinela ParovicUniversity of Texas at Austin, Zhiqiang ZangUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, Aleksandar MilicevicMicrosoft, Milos GligoricUniversity of Texas at Austin
Link to publication DOI Media Attached
10:00 - 10:20
Talk
OOPSLA
Hailong ZhangFordham University, Yu HaoOhio State University, Sufian LatifOhio State University, Raef BassilyOhio State University, Atanas RountevOhio State University
Link to publication DOI Media Attached
21:00 - 22:20: F-2BOOPSLA at SPLASH-III
Chair(s): Alex PotaninVictoria University of Wellington, Steve BlackburnAustralian National University
21:00 - 21:20
Talk
OOPSLA
Xiang GaoNational University of Singapore, Shraddha BarkeUniversity of California at San Diego, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Sumit GulwaniMicrosoft, Alan LeungMicrosoft, Nachiappan NagappanMicrosoft Research, Ashish TiwariMicrosoft
Link to publication DOI Media Attached
21:20 - 21:40
Talk
OOPSLA
Hengchu ZhangUniversity of Pennsylvania, Edo RothUniversity of Pennsylvania, Andreas HaeberlenUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Aaron RothUniversity of Pennsylvania
Link to publication DOI Media Attached
21:40 - 22:00
Talk
OOPSLA
Pengyu NieUniversity of Texas at Austin, Marinela ParovicUniversity of Texas at Austin, Zhiqiang ZangUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, Aleksandar MilicevicMicrosoft, Milos GligoricUniversity of Texas at Austin
Link to publication DOI Media Attached
22:00 - 22:20
Talk
OOPSLA
Hailong ZhangFordham University, Yu HaoOhio State University, Sufian LatifOhio State University, Raef BassilyOhio State University, Atanas RountevOhio State University
Link to publication DOI Media Attached