Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Learn about a novel approach to information flow control in Rust programming through this 15-minute conference presentation from OOPSLA 2025. Discover how Carapace extends the Cocoon framework to provide both static and dynamic information flow control (IFC) for ensuring confidentiality and integrity at the programming language level. Explore how this hybrid approach prevents high-secrecy values from affecting low-secrecy values and low-integrity values from affecting high-integrity values, all while working with Rust's unmodified compiler and standard language features. Examine three comprehensive case studies involving real applications with detailed security policies, demonstrating how existing applications can be retrofitted with Carapace using relatively few code changes. Understand the performance evaluation results showing negligible runtime overhead in most scenarios, and see how this research advances the state of the art as the first hybrid static-dynamic IFC system that operates with an off-the-shelf programming language without requiring compiler modifications.
