refs.bib

@Article{R:89:ATHMM,
  author =       {Lawrence R. Rabiner},
  title =        {A Tutorial on Hidden Markov Models and Selected Applications
                  in Speech Recognition},
  journal =      {Proc. of {IEEE}},
  year =         {1989},
  volume =    {77},
  number =    {2},
  pages =     {257--286},
}

@inproceedings{LWZ:18:MCDPP,
  author    = {Depeng Liu and Bow{-}Yaw Wang and Lijun Zhang},
  title     = {Model Checking Differentially Private Properties},
  booktitle = {APLAS},
  editor    = {Sukyoung Ryu},
  pages     = {394--414},
  year      = {2018},
  series    = {LNCS},
  volume    = {11275},
  publisher = {Springer},
}

@InProceedings{BDGKZ:13:VCDP,
  author =       {Gilles Barthe and George Danezis and Benjamin
               Gr\'egoire and C\'esar Kunz and Santiago Zanella B\'eguelin},
  title =        {Verified Computational Differential Privacy with
                  Applications to Smart Metering},
  booktitle = {Computer Security Foundations},
  year =      {2013},
  editor =    {V\'eronique Cortier and Anupam Datta},
  pages =     {287--301},
  publisher = {{IEEE} Computer Society},
}

@InProceedings{GHHNP:13:LDTDP,
  author =       {Marco Gaboardi and Andreas Haeberlen and Justin Hsu
                  and Arjun Narayan and Benjamin C. Pierce},
  title =        {Linear Dependent Types for Differential Privacy},
  booktitle = {Principles of Programming Languages},
  year =      {2013},
  editor =    {Roberto Giacobazzi and Radhia Cousot},
  pages =     {357--370},
  publisher = {ACM},
}

@InProceedings{TKD:11:FVDPIS,
  author =       {Michael Carl Tschantz and Dilsun Kaynar and Anupam Datta},
  title =        {Formal Verification of Differential Privacy for
                  Interactive Systems},
  booktitle = {Mathematical Foundations of Programming Semantics},
  year =      {2011},
  volume =    {276},
  number =    {0},
  pages =     {61--79},
}

@inproceedings{KM:11:NFLDP,
 author = {Daniel Kifer and Ashwin Machanavajjhala},
 title = {No Free Lunch in Data Privacy},
 booktitle = {SIGMOD},
 year = {2011},
 pages = {193--204},
 numpages = {12},
 publisher = {ACM},
}

@InProceedings{D:06:DP,
  author =       {Cynthia Dwork},
  title =        {Differential Privacy},
  booktitle = {International Colloquium on Automata, Languages and
  Programming (ICALP)},
  year =      {2006},
  editor =    {Michele Bugliesi and Bart Preneel and Vladimiro Sassone
  and Ingo Wegener},
  volume =    {4052},
  series =    {LNCS},
  pages =     {1--12},
  publisher = {Springer},
}

@Article{DR:14:AFDP,
  author =       {C. Dwork and A. Roth},
  title =        {The Algorithmic Foundations of Differential Privacy},
  journal =      {Foundations and Trends in Theoretical Computer Science},
  year =         {2014},
  volume =    {9},
  number =    {3--4},
  pages =     {211--407},
  publisher = {NOW Publishers},
}

@InProceedings{TW:09:FMP,
  author =       {Michael Carl Tschantz and Jeannette M. Wing},
  title =        {Formal Methods for Privacy},
  booktitle = {FM},
  year =      {2009},
  editor =    {A. Cavalcanti and D. Dams},
  volume =    {5850},
  series =    {LNCS},
  pages =     {1--15},
  publisher = {Springer},
}

@Article{FWC:10:PPDP,
  author =       {Benjamin C. M. Fung and Ke Wang and Rui Chen and
                  Philip S. Yu},
  title =        {Privacy-Preserving Data Publish: A Survey of Recent
                  Developments},
  journal =      {ACM Computing Surveys},
  year =         {2010},
  volume =    {42},
  number =    {4},
  pages =     {14:1--14:53},
  month =     {June},
}

@article{S:2002:KAMPP,
  author = {Latanya Sweeney},
  title = {K-anonymity: A Model for Protecting Privacy},
  journal = {International Journal Uncertainty, Fuzziness and
             Knowledge-Based System},
  volume = {10},
  number = {5},
  year = {2002},
  issn = {0218-4885},
  pages = {557--570},
  publisher = {World Scientific Publishing},
}

@Article{WB:90:RP,
  author =       {Samuel D. Warren and Louis D. Brandeis},
  title =        {The Right to Privacy},
  journal =      {Harvard Law Review},
  year =         {1890},
  volume =    {4},
  number =    {5},
  pages =     {193--220},
}

@InProceedings{DWWZK:18:DVDP,
  author =       {Zeyu Ding and Yuxin Wang and Guanhong Wang and Danfeng Zhang
                  and Daniel Kifer},
  title =        {Detecting Violations of Differential Privacy},
  booktitle = {CCS},
  year =      {2018},
  editor =    {Michael Backes and XiaoFeng Wang},
  pages =     {475--489},
  publisher = {ACM},
}

@article{KM:14:PFMPD,
  author = {Daniel Kifer and Ashwin Machanavajjhala},
  title = {Pufferfish: A Framework for Mathematical Privacy Definitions},
  journal = {ACM Trans. Database Syst.},
  volume = {39},
  number = {1},
  year = {2014},
  issn = {0362-5915},
  pages = {3:1--3:36},
  articleno = {3},
  publisher = {ACM},
  address = {New York, NY, USA},
}

@article{PCT:87:CMDP,
author = {Papadimitriou, Christos H. and Tsitsiklis, John N.},
title = {The Complexity of Markov Decision Processes},
journal = {Mathematics of Operations Research},
volume = {12},
number = {3},
pages = {441-450},
year = {1987}}