Sign in
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