TY - RPRT TI - Static Information Flow Control Made Simpler AU - Hemant Gouni AU - Jonathan Aldrich PY - 2022 UR - https://arxiv.org/abs/2210.12996 ID - 2210.12996 ER -