Cocoon: Static Information Flow Control in Rust

Ada Lamba, Max Taylor, Vincent Beardsley +3

Information flow control (IFC) provides confidentiality by enforcing noninterference, which ensures that high-secrecy values cannot affect low-secrecy values. Prior work introduces…