Select Publications of Michael Carl Tschantz 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) 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) 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) 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) 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) A BibTeX file for my papers Back to homepage