% BibTex file for the research papers of Michael Carl Tschantz.

@PhdThesis{t12formalizing,
  author = {Michael Carl Tschantz},
  title = {Formalizing and Enforcing Purpose Restrictions},
  school = {School of Computer Science, Carnegie Mellon University},
  year = {2012},
  number = {CMU-CS-12-117},
  month = may,
}

@INPROCEEDINGS{tdw12formalizing,
  author = {Michael Carl Tschantz and Anupam Datta and Jeannette M. Wing},
  title = {Formalizing and Enforcing Purpose Restrictions in Privacy Policies},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy},
  year = {2012},
  address = {Los Alamitos, CA, USA},
  publisher = {IEEE Computer Society},
  pages = {176--190},
}

@TECHREPORT{tdw12formalizingfull,
  author = {Michael Carl Tschantz and Anupam Datta and Jeannette M. Wing},
  title = {Formalizing and Enforcing Purpose Restrictions in Privacy Policies (Full Version)},
  institution = {School of Computer Science, Carnegie Mellon University},
  year = {2012},
  number = {CMU-CS-12-106},
  month = mar
}

@TECHREPORT{tdw11semantics,
  author = {Michael Carl Tschantz and Anupam Datta and Jeannette M. Wing},
  title = {On the Semantics of Purpose Requirements in Privacy Policies},
  institution = {School of Computer Science, Carnegie Mellon University},
  year = {2011},
  number = {CMU-CS-11-102},
  month = feb,
  note = {{A}lso available at \url{http://arxiv.org/abs/1102.4326}}
}

@article{tkd11formal,
  author = {Tschantz, Michael Carl and Kaynar, Dilsun and Datta, Anupam},
  title = {Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)},
  journal = {Electron. Notes Theor. Comput. Sci.},
  volume = {276},
  month = sep,
  year = {2011},
  pages = {61--79},
  numpages = {19},
  publisher = {Elsevier Science Publishers B. V.},
  address = {Amsterdam, The Netherlands, The Netherlands},
  note = {Presented at the 27th Annual Conference on Mathematical Foundations of Programming Semantics, Invited Paper},
} 

@TechReport{tkd11formalfull,
  author = {Tschantz, Michael Carl and Kaynar, Dilsun and Datta, Anupam},
  title = {Formal Verification of Differential Privacy for Interactive Systems},
  institution =  {ArXiv},
  year = 	 {2011},
  number = 	 {arXiv:1101.2819v1 [cs.CR]},
  month = 	 jan,
}

@TechReport{tdk09differential,
  author = 	 {Michael Carl Tschantz and Anupam Datta and Dilsun Kaynar},
  title = 	 {Differential Privacy for Probabilistic Systems},
  institution =  {CyLab, Carnegie Mellon University},
  year = 	 2009,
  number = 	 {CMU-CyLab-09-008},
}

@InProceedings{tn09measuring,
  author = 	 {Michael Carl Tschantz and Aditya V. Nori},
  title = 	 {Measuring the Loss of Privacy from Statistics},
  booktitle =    {QA '09: Workshop on Quantitative Analysis of Software},
  year = 	 2009,
  month = 	 {June},
}

@InProceedings{tw08extracting,
  author =       {Michael Carl Tschantz and Jeannette M. Wing},
  title =        {Extracting Conditional Confidentiality Policies},
  booktitle =    {SEFM '08: Proceedings of the Sixth IEEE International Conferences on Software Engineering and Formal Methods},
  year = 	 2008,
  month = 	 {November},
}

@TechReport{tw08extractingfull,
  author =       {Michael Carl Tschantz and Jeannette M. Wing},
  title =        {Extracting Conditional Confidentiality Policies},
  institution =  {School of Computer Science, Carnegie Mellon University},
  year =         2008,
  number =       {CMU-CS-08-127},
  month = 	 may,
}

@TechReport{tw07confidentiality,
  author = 	 {Michael Carl Tschantz and Jeannette M. Wing},
  title = 	 {Confidentiality Policies and Their Extraction from Programs},
  institution =  {School of Computer Science, Carnegie Mellon University},
  year = 	 2007,
  number = 	 {CMU-CS-07-108},
  month = 	 feb,
}

@TechReport{gt08from,
  author = 	 {Deepak Garg and Michael Carl Tschantz},
  title = 	 {From Indexed Lax Logic to Intuitionistic Logic},
  institution =  {School of Computer Science, Carnegie Mellon University},
  year = 	 2008,
  number = 	 {CMU-CS-07-167},
  month = 	 jan,
}


@InProceedings{tk06towards,
  author = 	 {Michael Carl Tschantz and Shriram Krishnamurthi},
  title = 	 {Towards Reasonability Properties for Access-Control Policy Languages},
  booktitle = {SACMAT '06: Proceedings of the eleventh ACM symposium on Access control models and technologies},
  year = 	 2006,
  month = 	 {June},
}

@TechReport{tk06towards-extended,
  author = 	 {Michael Carl Tschantz and Shriram Krishnamurthi},
  title = 	 {Towards Reasonability Properties for Access-Control Policy Languages with Extended {XACML} Analysis},
  institution =  {Computer Science Department, Brown University},
  year = 	 2006,
  number = 	 {CS-06-04},
  month = 	 apr,
}

@Misc{t05clarity,
  author = 	 {Michael Carl Tschantz},
  title = 	 {The Clarity of Languages for Access-Control Policies},
  howpublished = {Undergraduate Honors Thesis, Department of Computer Science, Brown University},
  month = 	 may,
  year = 	 2005,
}

@TechReport{gmmt05soundness,
  author = 	 {Michael Matthew Greenberg and Casey Marks and Leo Alexander Meyerovich and Michael Carl Tschantz},
  title = 	 {The Soundness and Completeness of Margrave with Respect to a Subset of XACML},
  institution =  {Computer Science Department, Brown University},
  year = 	 2005,
  number = 	 {CS-05-05},
  month = 	 apr,
}

@inproceedings{fkmt05verification,
 author = {Kathi Fisler and Shriram Krishnamurthi and Leo A. Meyerovich and Michael Carl Tschantz},
 title = {Verification and change-impact analysis of access-control policies},
 booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering},
 year = {2005},
 isbn = {1-59593-963-2},
 pages = {196--205},
 location = {St. Louis, MO, USA},
 doi = {http://doi.acm.org/10.1145/1062455.1062502},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{bgglnt04botticelli,
 AUTHOR = {Michael Benisch and Amy Greenwald and Ioanna Grypari and Roger Lederman and Victor Naroditskiy and Michael Carl Tschantz}, 
 TITLE = {Botticelli: A Supply Chain Management Agent},
 BOOKTITLE = {Third International Joint Conference on Autonomous Agents and Multiagent Systems {AAMAS}~'04}, 
 PAGES = {1174--1181},
 ADDRESS = {New York},
 MONTH = jul,
 YEAR = {2004}
}

@inproceedings{bbbgt04supplier,
 AUTHOR = {Sarah Bell and Michael Benisch and Maggie Benthal and Amy Greenwald and Michael Carl Tschantz},
 TITLE = {Multi-period Online Optimization in TAC SCM: The Supplier Offer Acceptance Problem}, 
 BOOKTITLE = {Workshop on Trading Agent Design and Analysis},
 ADDRESS = {New York},
 MONTH = jul,
 YEAR = {2004}
}%aka Supplier Offer Selection in {TAC} {SCM}

@inproceedings{bgnt04stochastic,
 AUTHOR = {Micheal Benisch and Amy Greenwald and Victor Naroditskiy and Michael Carl Tschantz},
 TITLE = {A Stochastic Programming Approach to Scheduling in {TAC} {SCM}},
 BOOKTITLE = {{ACM} Electronic Commerce Conference {ECC}~'04},
 PAGES = {152--160},
 ADDRESS = {New York},
 MONTH = may,
 YEAR = {2004}
}

@article{bgglnt04botticellisigecon,
 AUTHOR = {Michael Benisch and Amy Greenwald and Ioanna Grypari and Roger Lederman and Victor Naroditskiy and Michael Carl Tschantz}, 
 TITLE = {Botticelli: A Supply Chain Management Agent Designed to Optimize under Uncertainty},
 JOURNAL = {SIGecon Exchanges},
 VOLUME = {4},
 ISSUE = {3},
 PAGES = {29-37},
 YEAR = {2004}
}