Michael Carl Tschantz at CMU

This page is very out of date. I'm currently a researcher working at the International Computer Science Institute.
For updated information, please see
my new webpage.
Ahoy, Ahoy,
Salutations and Welcome to The Æthernet Ballyhoo of
Mr. Michael Carl Tschantz, Sc.B., M.S.,
Gentleman, Graduate Aſsistant, Doctoral Student of the Mysteries of the
Analytical Engine &c.
at Carnegie Mellon University, Pittsburgh, Penn.

Studies under the world renowned
Profeſsor J. M. Wing, Ph.D., S.M., S.B.,
fellow of Learned Societies, celebrated as
~~~~ The Dragon Lady ~~~~
and Doctor A. Datta, Ph.D., M.S., B.Tech.,

Inquiries may be Sent
The Electric Epistle .............................. mtschant 'at-sign' cs.cmu.edu
The Speaking Telegraph ................................................ 412-268-5941
The Fac-Simile ................................................................ 412-268-5576
The Postal Service ............................. Computer Science Department
" " " .................................. Carnegie Mellon University
" " " .............................................. 5000 Forbes Avenue
" " " ............................................. Pittsburgh, PA 15213

Coal! Good for Heating
Electrical Fluid! Good for Analytical Engines

Purveyor in Knowledge, Monger of Facts, to wit:

M.C. Tschantz, A. Datta, and J.M. Wing
Purpose Restrictions on Information Use
18th European Symposium on Research in Computer Security (ESORICS), 2013 (to appear)
hand pointingRead the paper: (p.d.f.)

M. C. Tschantz, A. Datta, and J. M. Wing
Formalizing and Enforcing Purpose Restrictions in Privacy Policies
33rd IEEE Symposium on Security and Privacy, 2012
hand pointing Read the paper: (p.d.f.)
hand pointing Try the software: here
hand pointing A more complete tech. report: (p.d.f.)

M. C. Tschantz, D. Kaynar, and A. Datta
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)
27th Annual Conference on Mathematical Foundations of Programming Semantics, Invited Paper, 2011
hand pointing Read the full version: here

K. Fisler, S. Krishnamurthi, L. A. Meyerovich, and M. C. Tschantz
Verification and Change-Impact Analysis of Access-Control Policies
27th International Conference on Software Engineering (I.C.S.E.), 2005
hand pointing Read the paper: (p.d.f.)
hand pointing Try the software: Margrave
hand pointing A related tech. report with proofs: (p.d.f.)

M. Benisch, A. Greenwald, I. Grypari, R. Lederman, V. Naroditskiy, and M. C. Tschantz
Botticelli: A Supply Chain Management Agent
Third International Joint Conference on Autonomous Agents and Multiagent Systems (A.A.M.A.S.), 2004
hand pointing Read the paper: (p.d.f.)

M. Benisch, A. Greenwald, V. Naroditskiy, and M. C. Tschantz
A Stochastic Programming Approach to Scheduling in T.A.C. S.C.M.
A.C.M. Electronic Commerce Conference, 2004
hand pointing Read the paper: (p.d.f.)

A more complete list of M. C. Tschantz's works
A BibTeX file for his promulgations

Page maintained by Michael Carl Tschantz (mtschant 'at-sign' cs.cmu.edu).
This webpage was generated by hand using the Emacs operating system.