Fetching the paper…
Reading the bibliography…
The widespread acceptance of differential privacy has led to the publication of many sophisticated algorithms for protecting privacy.
The design of experiments. 1935
R.A. Fisher. 1935 · 1935
Earlier work this paper cites.
Symbolic execution and program testing
James C King. 1976 · 1976
Earlier work this paper cites.
EXE: Automatically Generating Inputs of Death. In Conference on Computer and Communications Security (CCS)
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, and Dawson R. Engler. 2006 · 2006
Earlier work this paper cites.
Differential Privacy. In Proceedings of the 33rd International Conference on Automata, Languages and Programming - Volume Part II
Cynthia Dwork. 2006 · 2006
Earlier work this paper cites.
The smt-lib standard: Version 1.2
Silvio Ranise and Cesare Tinelli. 2006 · 2006
Earlier work this paper cites.
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, (OSDI)
Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. 2008 · 2008
Earlier work this paper cites.
Z3: An efficient SMT solver. In International conference on Tools and Algorithms for the Construction and Analysis of Systems
Leonardo De Moura and Nikolaj Bjørner. 2008 · 2008
Earlier work this paper cites.
Differential privacy: A survey of results. In International Conference on Theory and Applications of Models of Computation
Cynthia Dwork. 2008 · 2008
Earlier work this paper cites.
Differential symbolic execution. In Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Suzette Person, Matthew B Dwyer, Sebastian Elbaum, and Corina S Pǎsǎreanu. 2008 · 2008
Earlier work this paper cites.
On the Complexity of Differentially Private Data Release: Efficient Algorithms and Hardness Results. In STOC
Cynthia Dwork, Moni Naor, Omer Reingold, Guy N.Rothblum, and Salil Vadhan. 2009 · 2009
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
Frank D. McSherry. 2009 · 2009
Earlier work this paper cites.
Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy. In Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming
Jason Reed and Benjamin C. Pierce. 2010 · 2010
Earlier work this paper cites.
Airavat: Security and Privacy for MapReduce. In NSDI
Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, and Emmett Witchel. 2010 · 2010
Earlier work this paper cites.
Sparse Vector Technique, Lecture notes for “The Algorithmic Foundations of Data Privacy”
A. Roth. 2011 · 2011
Cited alongside, same era.
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)
Michael Carl Tschantz, Dilsun Kaynar, and Anupam Datta. 2011 · 2011
Cited alongside, same era.
Probabilistic Relational Reasoning for Differential Privacy. In Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Gilles Barthe, Boris Köpf, Federico Olmedo, and Santiago Zanella Béguelin. 2012 · 2012
Cited alongside, same era.
Noninterference via symbolic execution
Dimiter Milushev, Wim Beck, and Dave Clarke. 2012 · 2012
Cited alongside, same era.
GUPT: Privacy Preserving Data Analysis Made Easy. In Proceedings of the ACM SIGMOD International Conference on Management of Data
Prashanth Mohan, Abhradeep Thakurta, Elaine Shi, Dawn Song, and David Culler. 2012 · 2012
Cited alongside, same era.
Differentially private high-dimensional data publication via sampling-based inference. In Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining
Rui Chen, Qian Xiao, Yu Zhang, and Jianliang Xu. 2015 · 2015
Later among the works it cites.
On the Privacy Properties of Variants on the Sparse Vector Technique
Yan Chen and Ashwin Machanavajjhala. 2015 · 2015
Later among the works it cites.
Differential privacy: Now it’s getting personal. In ACM Symposium on Principles of Programming Languages (POPL)
Hamid Ebadi, David Sands, and Gerardo Schneider. 2015 · 2015
Later among the works it cites.
Advanced Probabilistic Couplings for Differential Privacy. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security
Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, and Pierre-Yves Strub. 2016 · 2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Verified Computational Differential Privacy with Applications to Smart Metering. In 2013 IEEE 26th Computer Security Foundations Symposium
Gilles Barthe, George Danezis, Benjamin Grégoire, César 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 ICALP
Gilles Barthe and Federico Olmedo. 2013 · 2013
Cited alongside, same era.
Linear Dependent Types for Differential Privacy. In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, and Benjamin C. Pierce. 2013 · 2013
Cited alongside, same era.
Proving Differential Privacy in Hoare Logic. In 2014 IEEE 27th Computer Security Foundations Symposium
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.
Top-k frequent itemsets via differentially private fp-trees. In Proceedings of the 20th ACM SIGKDD international conference on Knowledge discovery and data mining
Jaewoo Lee and Christopher W Clifton. 2014 · 2014
Cited alongside, same era.
Differentially private algorithms for empirical machine learning
Ben Stoddard, Yan Chen, and Ashwin Machanavajjhala. 2014 · 2014
Cited alongside, same era.
Gilles Barthe, Marco Gaboardi, Benjamin Gregoire, Justin Hsu, and Pierre-Yves Strub. 2016 · 2016
Later among the works it cites.
Concentrated Differential Privacy: Simplifications, Extensions, and Lower Bounds. In Proceedings of the 14th International Conference on Theory of Cryptography - Volume 9985
Mark Bun and Thomas Steinke. 2016 · 2016
Later among the works it cites.
Concentrated Differential Privacy
Cynthia Dwork and Guy N. Rothblum. 2016 · 2016
Later among the works it cites.
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 30th IEEE Computer Security Foundations Symposium, CSF
Ilya Mironov. 2017 · 2017
Later among the works it cites.
Danfeng Zhang and Daniel Kifer. 2017 · 2017
Later among the works it cites.
SciPy: Open source scientific tools for Python
Eric Jones, Travis Oliphant, Pearu Peterson, et al · 2018
Closest in time.