An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)

Silei Ren, Coşku Acay, Andrew C. Myers

Language-based information flow control (IFC) enables reasoning about and enforcing security policies in decentralized applications. While information flow properties are relativel…