Cocoon: Static Information Flow Control in Rust.

Ada Barach Maxwell Taylor Vincent Beardsley Jacob Bambeck Michael D. Bond Zhiqiang Lin

Published in: CoRR (2023)

Keyphrases

information flow control
information flow
data sets
neural network
computer vision
lower bound
special case
hidden markov models
dynamic analysis