1 paper
Hemant Gouni, Jonathan Aldrich
Static information flow control (IFC) systems provide the ability to restrict data flows within a program, enabling vulnerable functionality or confidential data to be statically i…