Robuta

https://ifc-challenge.appspot.com/ Information Flow Control Challenge information flow control challenge https://research.chalmers.se/en/publication/525640 HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell Information-Flow Control (IFC) is a well-established approach for allowing untrusted code to manipulate sensitive data without disclosing it. IFC is typically... static and dynamic information flow control mixing typing haskell https://discovery.researcher.life/article/an-access-and-information-flow-control-paradigm-for-secure-information-sharing-in-service-based-systems/a19042daad523ac5a793cd63cfa4cb32 An Access and Information Flow Control Paradigm for Secure Information Sharing in Service-Based... Article on An Access and Information Flow Control Paradigm for Secure Information Sharing in Service-Based Systems, published in 5947 2010 on 2015-07-01 by... information flow control secure sharing service based access paradigm https://isa-afp.org/entries/IFC_Tracking.html Information Flow Control via Dependency Tracking - Archive of Formal Proofs Information Flow Control via Dependency Tracking in the Archive of Formal Proofs information flow control via dependency tracking archive https://research.ajman.ac.ae/en/publications/secure-camflow-a-device-oriented-security-model-to-assist-informa/ Secure-CamFlow: A device-oriented security model to assist information flow control systems in... information flow control security model secure device oriented https://collaborate.princeton.edu/en/publications/end-to-end-multilevel-hybrid-information-flow-control/ End-to-end multilevel hybrid information flow control - Princeton University information flow control princeton university end multilevel hybrid