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.
Through its research, the laboratory has established procedures to make privacy regulations more systematic, encompassing enhanced methods for deductive reasoning regarding conformance and regulatory consequences, as well as strategies for assessing and classifying individual privacy dispositions to safeguard against the hazards posed by novel technologies.