Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation. - Shamiek Mangipudi; Pavel Chuprikov; Patrick Eugster; Malte Viering; Savvas Savvides (Proc. ACM Program. Lang., 2023)

Security Policy as Code. - Pavel Chuprikov; Patrick Eugster; Shamiek Mangipudi (IEEE Secur. Priv., 2025)