Researchers: Anupam Datta, Zeliha Dilsun Kaynar
Research Area: Privacy Protection
Cross Cutting Thrusts: Cryptography
Scope: The project focuses on: 1. Logic-based languages for specifying privacy policies, where privacy policies may refer to aggregate information as well as information about individuals. 2. Automated or partially-automated enforcement methods for policies specified using the logic-based policy specification language. 3. Lifting database privacy definitions and associated constructions (such as differential privacy) to organizational processes in order to enforce end-to-end privacy guarantees for processes that handle both individual and aggregate anonymized information.
Outcomes: Disseminate the results of our research by publishing research papers and delivering presentations. Produce machine-processable representations (in the form of formulae in our logic) of privacy-related aspects of three US privacy laws (HIPAA, GLBA, FERPA).