GuardiaML: Machine Learning-Assisted Dynamic Information Flow Control

GuardiaML: Machine Learning-Assisted Dynamic Information Flow Control ■

Angel Luis Scull Pupo, Angel Luis Scull Pupo, Angel Luis Scull Pupo, Jens Nicolay, Jens Nicolay, Jens Nicolay, Kyriakos Efthymiadis, Kyriakos Efthymiadis, Kyriakos Efthymiadis, Ann Nowe, Ann Nowe, Ann Nowe, Coen De Roover, Coen De Roover, Coen De Roover, Elisa Gonzalez Boix, Elisa Gonzalez Boix, Elisa Gonzalez Boix

Abstract ■

Developing JavaScript and web applications with confidentiality and integrity guarantees is challenging. Information flow control enables the enforcement of such guarantees. However, the integration of this technique into software tools used by developers in their workflow is missing. In this paper we present GuardiaML, a machine learning-assisted dynamic information flow control tool for JavaScript web applications. GuardiaML enables developers to detect unwanted information flow from sensitive sources to public sinks. It can handle the DOM and interaction with internal and external libraries and services. Because the specification of sources and sinks can be tedious, GuardiaML assists in this process by suggesting the tagging of sources and sinks via a machine learning component.