The lab has developed ways to treat privacy rules more formally, including better ways to reason using formal methods about conformance and the implications of regulations, and about how to quantify and classify privacy attitudes to control the risks of new technologies.
The laboratory's efforts focus on creating a framework to formalize privacy regulations in a more organized manner, involving sophisticated methods for deductive reasoning about compliance and the implications of regulatory requirements, as well as approaches for assessing and classifying individual attitudes towards privacy to mitigate risks associated with emerging technologies.