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

@incollection{ktbjt14large,
title = {Large-Margin Convex Polytope Machine},
author = {Kantchelian, Alex and Tschantz, Michael C and Huang, Ling and Bartlett, Peter L and Joseph, Anthony D and Tygar, J. D.},
booktitle = {Advances in Neural Information Processing Systems 27},
editor = {Z. Ghahramani and M. Welling and C. Cortes and N.D. Lawrence and K.Q. Weinberger},
pages = {3248--3256},
year = {2014},
publisher = {Curran Associates, Inc.},
url = {http://papers.nips.cc/paper/5511-large-margin-convex-polytope-machine.pdf}
}

@inproceedings{mkabdhtjt14adversarial,
 author = {Brad Miller and Alex Kantchelian and Sadia Afroz and Rekha Bachwani and Edwin Dauber and Ling Huang and Michael Carl Tschantz and Anthony D. Joseph and J.~D. Tygar},
 title = {Adversarial Active Learning},
 booktitle = {Proceedings of the 2014 ACM Workshop on Artificial Intelligence and Security},
 year = {2014},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@TECHREPORT{tapt14on,
  author = {Michael Carl Tschantz and Sadia Afroz and Vern Paxson and J. D. Tygar},
  title = {On Modeling the Costs of Censorship},
  institution = {ArXiv},
  year = {2014},
  number = {arXiv:1409.3211v1},
  month = sep,
}

@TECHREPORT{dtdw14automated,
  author = {Amit Datta and Michael Carl Tschantz and Anupam Datta},
  title = {Automated Experiments on Ad Privacy Settings: A Tale of Opacity, Choice, and Discrimination},
  institution = {ArXiv},
  year = {2014},
  number = {arXiv:1408.6491v1},
  month = aug,
}

@TECHREPORT{tddw14methodology,
  author = {Michael Carl Tschantz and Amit Datta and Anupam Datta and Jeannette M. Wing},
  title = {A Methodology for Information Flow Experiments},
  institution = {ArXiv},
  year = {2014},
  number = {arXiv:1405.2376v1},
  month = may,
}

@inproceedings{kahimtgjt13approaches,
 author = {Kantchelian, Alex and Afroz, Sadia and Huang, Ling and Islam, Aylin Caliskan and Miller, Brad and Tschantz, Michael Carl and Greenstadt, Rachel and Joseph, Anthony D. and Tygar, J. D.},
 title = {Approaches to Adversarial Drift},
 booktitle = {Proceedings of the 2013 ACM Workshop on Artificial Intelligence and Security},
 year = {2013},
 pages = {99--110},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@TECHREPORT{tdw13information,
  author = {Michael Carl Tschantz and Anupam Datta and Jeannette M. Wing},
  title = {Information Flow Investigations},
  institution = {School of Computer Science, Carnegie Mellon University},
  year = {2013},
  number = {CMU-CS-13-118},
  month = jun,
}

@INPROCEEDINGS{tdw13purpose,
  author = {Michael Carl Tschantz and Anupam Datta and Jeannette M. Wing},
  title = {Purpose Restrictions on Information Use},
  booktitle = {Proceedings of the 18th European Symposium on Research in Computer Security (ESORICS)},
  series = {Lecture Notes in Computer Science},
  volume = 8134,
  year = {2013},
  publisher = {Springer Berlin Heidelberg},
  pages = {610--627},
}

@TechReport{tdw13purposetr,
  author = {Michael Carl Tschantz and Anupam Datta and Jeannette M. Wing},
  title = {Purpose Restrictions on Information Use},
  institution = {Carnegie Mellon University},
  year = {2013},
  number = {CMU-CyLab-13-005 and CMU-CS-13-116},
  month = jun,
}

@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}
}