8 citations · 8 across the 1 of their papers we have counts for
1 paper
Ada Lamba, Max Taylor, Vincent Beardsley +3
Information flow control (IFC) provides confidentiality by enforcing noninterference, which ensures that high-secrecy values cannot affect low-secrecy values. Prior work introduces…