@article{hydra,
author = {Mangipudi, Shamiek and Chuprikov, Pavel and Eugster, Patrick and Viering, Malte and Savvides, Savvas},
title = {Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation},
year = {2023},
issue_date = {June 2023},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {7},
number = {PLDI},
url = {https://doi.org/10.1145/3591231},
doi = {10.1145/3591231},
journal = {Proc. ACM Program. Lang.},
month = {jun},
articleno = {117},
numpages = {25},
keywords = {enclave, anguage-based security, secure computing, type system, homomorphic encryption, noninterference}
}