This paper presents Cocoon, a Rust library for static type-based IFC that uses the unmodified Rust language and compiler. The key insight of Cocoon lies in leveraging Rust's type system and procedural macros to establish an effect system that allows applications to safely compute arbitrary functions on secret data.
Oct 31, 2023 · This paper presents Cocoon, a Rust library for static type-based IFC that uses the unmodified Rust language and compiler. The key insight of ...
Apr 29, 2024 · This paper presents Cocoon, a Rust library for static type-based IFC that uses the unmodified Rust language and compiler.
Mar 18, 2024 · 4 COCOON: STATIC INFORMATION FLOW CONTROL IN RUST. Cocoon is a static IFC approach that meets §3.2's requirements. §4.1 explains how ...
Description. Cocoon is a Rust library that provides types and mechanisms for statically enforcing information flow control in Rust programs.
Cocoon is presented, a Rust library for static type-based IFC that uses the unmodified Rust language and compiler that uses Rust's type system and ...
Cocoon is a Rust library that provides types and mechanisms for statically enforcing information flow control in Rust programs. Cocoon is currently intended ...
Sep 3, 2023 · I am working on a Rust application where I need to encrypt and decrypt data, specifically, an authentication token. I'm planning to use minicocoon.
Missing: Static Flow Control
Ada Lamba's paper on Cocoon: static information flow control in Rust published in OOPSLA 2024! Minjia Zhang started as tenure-track faculty at Illinois!
Cocoon: Static Information Flow Control in Rust Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, and Zhiqiang Lin (Ohio State ...