Sebastian Hunt, David Sands 0001. New Program Abstractions for Privacy. In Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan, editors, From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Volume 12065 of Lecture Notes in Computer Science, pages 256-267, Springer, 2020. [doi]
Abstract is missing.