Ada Barach

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Information Flow Control

Dynamic Analysis

Hidden Markov Models

Top Venues

Publications

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