Publications of Michael Carl Tschantz
Alex Kantchelian, Michael Carl Tschantz, Sadia Afroz, Brad Miller, Vaishaal Shankar, Rekha Bachwani, Anthony D. Joseph, and J. D. Tygar
Better Malware Ground Truth: Techniques for Weighting Anti-Virus Vendor Labels
Proceedings of the 2015 ACM Workshop on Artificial Intelligence and Security (AISec), 2015
(pdf)
Alex Kantchelian, Michael Carl Tschantz, Ling Huang, Peter Bartlett, Anthony Joseph, and J.D. Tygar
Large-Margin Convex Polytope Machine
Advances in Neural Information Processing Systems 27 (NIPS 2014), 2014
(pdf)
Brad Miller, Alex Kantchelian, Sadia Afroz, Rekha Bachwani, Edwin Dauber, Ling Huang, Michael Carl Tschantz, Anthony D. Joseph, and J.D. Tygar
Adversarial Active Learning
Proceedings of the 2014 ACM Workshop on Artificial Intelligence and Security, 2014
(pdf)
Michael Carl Tschantz, Sadia Afroz, Vern Paxson, and J. D. Tygar
On Modeling the Costs of Censorship
ArXiv Tech Report arXiv:1409.3211, 2014
(pdf)
Amit Datta, Michael Carl Tschantz, and Anupam Datta
Automated Experiments on Ad Privacy Settings: A Tale of Opacity, Choice, and Discrimination
ArXiv Tech Report arXiv:1408.6491, 2014
(pdf)
Michael Carl Tschantz, Amit Datta, Anupam Datta, and Jeannette M. Wing
A Methodology for Information Flow Experiments
ArXiv Tech Report arXiv:1405.2376, 2014
(pdf)
Michael Carl Tschantz, Anupam Datta, and Jeannette M. Wing
Information Flow Investigations
Tech Report CMU-CS-13-118, School of Computer Science, Carnegie Mellon University, 2013
(pdf)
Alex Kantchelian, Sadia Afroz, Ling Huang, Aylin Caliskan Islam, Brad Miller, Michael Carl Tschantz, Rachel Greenstadt, Anthony D. Joseph, and J. D. Tygar
Approaches to Adversarial Drift
Proceedings of the 2013 ACM Workshop on Artificial Intelligence and Security (AISec), 2013
(pdf)
Michael Carl Tschantz, Anupam Datta, and Jeannette M. Wing
Purpose Restrictions on Information Use
18th European Symposium on Research in Computer Security (ESORICS), 2013
(pdf)
Michael Carl Tschantz, Anupam Datta, and Jeannette M. Wing
Purpose Restrictions on Information Use
Tech Report CMU-CS-13-116 and CMU-CyLab-13-005, 2013
(pdf)
Michael Carl Tschantz
Formalizing and Enforcing Purpose Restrictions
Ph.D. Dissertation, Tech Report CMU-CS-12-117, School of Computer Science, Carnegie Mellon University, May 2012
(pdf)
Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
Formalizing and Enforcing Purpose Restrictions in Privacy Policies
Proceedings of the IEEE Symposium on Security and Privacy, May 2012
(pdf) (tech report)
Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
On the Semantics of Purpose Requirements in Privacy Policies
Tech Report CMU-CS-11-102, School of Computer Science, Carnegie Mellon University, February 2011
(pdf)
Michael Carl Tschantz, Dilsun Kaynar, and Anupam Datta
Formal Verification of Differential Privacy for Interactive Systems
27th Annual Conference on Mathematical Foundations of Programming Semantics, Invited Paper, September 2011
(tech report)
Michael Carl Tschantz, Dilsun Kaynar, and Anupam Datta
Differential Privacy for Probabilistic Systems
Tech. Report CMU-CyLab-09-008, CyLab, Carnegie Mellon University, 2009
(pdf)
Michael Carl Tschantz and Jeannette M. Wing
Formal Methods for Privacy (invited paper)
FM '09: Proceedings of the 2nd World Congress on Formal Methods, November 2009
(pdf) (tech report)
Michael Carl Tschantz and Aditya V. Nori
Measuring the Loss of Privacy from Statistics
QA '09: Workshop on Quantitative Analysis of Software, June 2009
(pdf)
Michael Carl Tschantz and Jeannette M. Wing
Extracting Conditional Confidentiality Policies
SEFM '08: Proceedings of the Sixth IEEE International Conferences on Software Engineering and Formal Methods, November 2008
(pdf) (tech report)
(errata)
Michael Carl Tschantz and Jeannette M. Wing
Confidentiality Policies and Their Extraction from Programs
Tech Report CMU-CS-07-108, School of Computer Science, Carnegie Mellon University, February 2007
(pdf)
Deepak Garg and Michael Carl Tschantz
From Indexed Lax Logic to Intuitionistic Logic
Tech Report CMU-CS-07-167, School of Computer Science, Carnegie Mellon University, January 2008
(pdf)
Michael Carl Tschantz and Shriram Krishnamurthi
Towards Reasonability Properties for Access-Control Policy Languages
SACMAT '06: Proceedings of the Eleventh ACM Symposium on Access Control Models and Technologies, June 2006
(pdf)
Michael Carl Tschantz and Shriram Krishnamurthi
Towards Reasonability Properties for Access-Control Policy Languages with Extended XACML Analysis
Tech Report CS-06-04, Computer Science Department, Brown University, April 2006
(pdf) (official)
Michael Carl Tschantz
The Clarity of Languages for Access-Control Policies
Undergraduate Honors Thesis, Department of Computer Science, Brown University, Brown University, May 2005
(pdf) (official)
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, and Michael Carl Tschantz
Verification and Change-Impact Analysis of Access-Control Policies
ICSE '05: Proceedings of the 27th International Conference on Software Engineering, 2005
(pdf)
Michael Matthew Greenberg, Casey Marks, Leo Alexander Meyerovich, and Michael Carl Tschantz
The Soundness and Completeness of Margrave with Respect to a Subset of XACML
Tech Report CS-05-05, Computer Science Department, Brown University, 2005
(pdf) (official)
Michael Benisch, Amy Greenwald, Ioanna Grypari, Roger Lederman, Victor Naroditskiy, and Michael Carl Tschantz
Botticelli: A Supply Chain Management Agent
Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS) 2004
(pdf)
Sarah Bell, Michael Benisch, Margaret Benthall, Amy Greenwald, and Michael Carl Tschantz
Multi-period Online Optimization in TAC SCM: The Supplier Offer Acceptance Problem
Workshop on Trading Agent Design and Analysis, 2004
(pdf)
Micheal Benisch, Amy Greenwald, Victor Naroditskiy, and Michael Carl Tschantz
A Stochastic Programming Approach to Scheduling in TAC SCM
ACM Electronic Commerce Conference, 2004
(pdf)
Michael Benisch, Amy Greenwald, Ioanna Grypari, Roger Lederman, Victor Naroditskiy, and Michael Carl Tschantz
Botticelli: A Supply Chain Management Agent Designed to Optimize under Uncertainty
SIGecon Exchanges 4 (3), 2004
(pdf)
A BibTeX file for my papers
Back to homepage