Deepak Garg

Higher-order programs can now enjoy compositional security guarantees for fine-grained declassification, thanks to a novel logical relations model.

Adaptive data analyses can lead to high generalization errors, but a new program analysis framework offers a way to effectively manage these errors through structured representation and analysis.