Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation

Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, Savvas Savvides
January 2023
Cite DOI URL
Type
2
Publication
Proceedings of the ACM on Programming Languages