Computer Science Department
School of Computer Science, Carnegie Mellon University


Formal Methods for Privacy

Michael Carl Tschantz, Jeannette M. Wing

September 2009

To appear in the
Proceedings of Formal Methods 2009


Keywords: Privacy, formal methods

Privacy means something different to everyone. Against a vast and rich canvas of diverse types of privacy rights and violations, we argue technology's dual role in privacy: new technologies raise new threats to privacy rights and new technologies can help preserve privacy. Formal methods, as just one class of technology, can be applied to privacy, but privacy raises new challenges, and thus new research opportunities, for the formal methods community.

20 pages

Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by