Danfeng Zhang

Sound Enforcement of Dynamic Release Information Flow Policy

Information flow analysis is the de facto method of assessing confidentiality and integrity issues. However, the widespread adoption of information flow analysis in real-world systems is still lacking, partly due to a fundamental gap between theory and practice: the dynamic natur...

ResidualPlanner+: a scalable matrix mechanism for marginals and beyond.

Abstract Noisy marginals are a common form of confidentiality protecting data release and are useful for many downstream tasks such as contingency table analysis, construction of Bayesian networks, and even synthetic data generation. Matrix mechanisms, an important class of priva...