Fetching the paper…
Reading the bibliography…
Recent work on formal verification of differential privacy shows a trend toward usability and expressiveness -- generating a correctness proof of sophisticated algorithm while minimizing the annotation burden on programmers.
Semantics of probabilistic programs
Dexter Kozen. 1981 · 1981
Earlier work this paper cites.
Language-based information-flow security
Andrei Sabelfeld and Andrew C Myers. 2003 · 2003
Earlier work this paper cites.
Secure Information Flow by Self-Composition. In Proceedings of the 17th IEEE Workshop on Computer Security Foundations (CSFW ’04) . IEEE Computer Society, Washington, DC, USA, 100–
Gilles Barthe, Pedro R. D’Argenio, and Tamara Rezk. 2004 · 2004
Earlier work this paper cites.
Secure information flow as a safety problem. In International Static Analysis Symposium . Springer, 352–367
Tachio Terauchi and Alex Aiken. 2005 · 2005
Earlier work this paper cites.
On Flow-sensitive Security Types. In Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’06) . ACM, New York, NY, USA, 79–90
Sebastian Hunt and David Sands. 2006 · 2006
Earlier work this paper cites.
Mechanism Design via Differential Privacy. In Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS ’07) . IEEE Computer Society, Washington, DC, USA, 94–103
Frank McSherry and Kunal Talwar. 2007 · 2007
Earlier work this paper cites.
Z3: An Efficient SMT Solver. In Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’08/ETAPS’08) . Springer-Verlag, Berlin, Heidelberg, 337–340
Leonardo De Moura and Nikolaj Bjørner. 2008 · 2008
Earlier work this paper cites.
Privacy Integrated Queries: An Extensible Platform for Privacy-preserving Data Analysis. In Proceedings of the 2009 ACM SIGMOD International Conference on Management of Data (SIGMOD ’09) . ACM, New York, NY, USA, 19–30
Frank D. McSherry. 2009 · 2009
Earlier work this paper cites.
Airavat: Security and Privacy for MapReduce. In Proceedings of the 7th USENIX Conference on Networked Systems Design and Implementation (NSDI’10) . USENIX Association, Berkeley, CA, USA, 20–20
Indrajit Roy, Srinath T. V. Setty, Ann Kilzer, Vitaly Shmatikov, and Emmett Witchel. 2010 · 2010
Earlier work this paper cites.
CPACHECKER: A Tool for Configurable Software Verification. In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV’11) . Springer-Verlag, Berlin, Heidelberg, 184–190
Dirk Beyer and M. Erkan Keremoglu. 2011 · 2011
Earlier work this paper cites.
Private and Continual Release of Statistics
T.-H. Hubert Chan, Elaine Shi, and Dawn Song. 2011 · 2011
Earlier work this paper cites.
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)
Michael Carl Tschantz, Dilsun Kaynar, and Anupam Datta. 2011 · 2011
Earlier work this paper cites.
Probabilistic Relational Reasoning for Differential Privacy. In Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’12) . ACM, New York, NY, USA, 97–110
Gilles Barthe, Boris Köpf, Federico Olmedo, and Santiago Zanella Béguelin. 2012 · 2012
Earlier work this paper cites.
SMTInterpol: An Interpolating SMT Solver. In Proceedings of the 19th International Conference on Model Checking Software (SPIN’12) . Springer-Verlag, Berlin, Heidelberg, 248–254
Jürgen Christ, Jochen Hoenicke, and Alexander Nutz. 2012 · 2012
Earlier work this paper cites.
A Simple and Practical Algorithm for Differentially Private Data Release. In Proceedings of the 25th International Conference on Neural Information Processing Systems - Volume 2 (NIPS’12) . Curran Associates Inc., USA, 2339–2347
Moritz Hardt, Katrina Ligett, and Frank McSherry. 2012 · 2012
Cited alongside, same era.
GUPT: Privacy Preserving Data Analysis Made Easy. In Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data (SIGMOD ’12) . ACM, New York, NY, USA, 349–360
Prashanth Mohan, Abhradeep Thakurta, Elaine Shi, Dawn Song, and David Culler. 2012 · 2012
Cited alongside, same era.
Verified Computational Differential Privacy with Applications to Smart Metering. In Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium (CSF ’13) . IEEE Computer Society, Washington, DC, USA, 287–301
Gilles Barthe, George Danezis, Benjamin Gregoire, Cesar Kunz, and Santiago Zanella-Beguelin. 2013 · 2013
Cited alongside, same era.
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences Between Probabilistic Programs. In Proceedings of the 40th International Conference on Automata, Languages, and Programming - Volume Part II (ICALP’13) . Springer-Verlag, Berlin, Heidelberg, 49–60
Synthesizing Coupling Proofs of Differential Privacy
Aws Albarghouthi and Justin Hsu. 2017 · 2017
Later among the works it cites.
Gian Pietro Farina, Stephen Chong, and Marco Gaboardi. 2017 · 2017
Later among the works it cites.
Understanding the sparse vector technique for differential privacy
Min Lyu, Dong Su, and Ninghui Li. 2017 · 2017
Later among the works it cites.
Rényi Differential Privacy. In 2017 IEEE 30th Computer Security Foundations Symposium (CSF) . 263–275
I. Mironov. 2017 · 2017
Later among the works it cites.
Differential privacy: A primer for a non-technical audience. In Privacy Law Scholars Conf
Kobbi Nissim, Thomas Steinke, Alexandra Wood, Micah Altman, Aaron Bembenek, Mark Bun, Marco Gaboardi, David R O’Brien, and Salil Vadhan. 2017 · 2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Gilles Barthe and Federico Olmedo. 2013 · 2013
Cited alongside, same era.
The MathSAT5 SMT Solver. In Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’13) . Springer-Verlag, Berlin, Heidelberg, 93–107
Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, and Roberto Sebastiani. 2013 · 2013
Cited alongside, same era.
Proving Differential Privacy in Hoare Logic. In Proceedings of the 2014 IEEE 27th Computer Security Foundations Symposium (CSF ’14) . IEEE Computer Society, Washington, DC, USA, 411–424
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, and Pierre-Yves Strub. 2014 · 2014
Cited alongside, same era.
The algorithmic foundations of differential privacy
Cynthia Dwork, Aaron Roth, et al · 2014
Cited alongside, same era.
RAPPOR: Randomized Aggregatable Privacy-Preserving Ordinal Response. In Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security (CCS ’14) . ACM, New York, NY, USA, 1054–1067
Úlfar Erlingsson, Vasyl Pihur, and Aleksandra Korolova. 2014 · 2014
Cited alongside, same era.
Metrics for Differential Privacy in Concurrent Systems. In Formal Techniques for Distributed Objects, Components, and Systems , Erika Ábrahám and Catuscia Palamidessi (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 199–215
Lili Xu, Konstantinos Chatzikokolakis, and Huimin Lin. 2014 · 2014
Cited alongside, same era.
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. In Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’15) . ACM, New York, NY, USA, 55–68
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, and Pierre-Yves Strub. 2015 · 2015
Cited alongside, same era.
Differential Privacy: Now It’s Getting Personal. In Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’15) . ACM, New York, NY, USA, 69–81
Hamid Ebadi, David Sands, and Gerardo Schneider. 2015 · 2015
Cited alongside, same era.
Advanced Probabilistic Couplings for Differential Privacy. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (CCS ’16) . ACM, New York, NY, USA, 55–67
Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, and Pierre-Yves Strub. 2016a · 2016
Cited alongside, same era.
Apple Differential Privacy Team. 2017 · 2017
Later among the works it cites.
LightDP: Towards Automating Differential Privacy Proofs. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) . ACM, New York, NY, USA, 888–901
Danfeng Zhang and Daniel Kifer. 2017 · 2017
Later among the works it cites.
The U.S. Census Bureau Adopts Differential Privacy. In Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD ’18) . ACM, New York, NY, USA, 2867–2867
John M. Abowd. 2018 · 2018
Later among the works it cites.
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS ’18) . ACM, New York, NY, USA, 508–524
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, and Martin Vechev. 2018 · 2018
Later among the works it cites.
Detecting Violations of Differential Privacy. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS ’18) . ACM, New York, NY, USA, 475–489
Zeyu Ding, Yuxin Wang, Guanhong Wang, Danfeng Zhang, and Daniel Kifer. 2018 · 2018
Later among the works it cites.
Property Testing For Differential Privacy
Anna C. Gilbert and Audra McMillan. 2018 · 2018
Later among the works it cites.
Towards practical differential privacy for SQL queries
Noah Johnson, Joseph P Near, and Dawn Song. 2018 · 2018
Later among the works it cites.
Dan Zhang, Ryan McKenna, Ios Kotsogiannis, Michael Hay, Ashwin Machanavajjhala, and Gerome Miklau. 2018 · 2018
Later among the works it cites.