Cocoon: Static Information Flow Control in Rust. - Ada Barach; Maxwell Taylor; Vincent Beardsley; Jacob Bambeck; Michael D. Bond; Zhiqiang Lin 001 (CoRR, 2023)

Static-Dynamic Information Flow Control in Rust. - Vincent Beardsley (SPLASH Companion, 2024)

Cocoon: Static Information Flow Control in Rust. - Ada Lamba; Max Taylor; Vincent Beardsley; Jacob Bambeck; Michael D. Bond; Zhiqiang Lin 001 (Proc. ACM Program. Lang., 2024)

Carapace: Static-Dynamic Information Flow Control in Rust. - Vincent Beardsley; Chris Xiong; Ada Lamba; Michael D. Bond (Proc. ACM Program. Lang., 2025)