Practical Static Analysis for Information-Flow Control of JavaScript

In this Cyber Hub Cyberboost project, we explore the feasibility of our long-term objective: to secure the JavaScript ecosystem. Co-financed by Maincode, we team up with professional JavaScript practitioners to produce a static analysis for information-flow control which is accessible and easy to use by developers. This project is a first step in a larger effort towards our long-term objective. The project outcome will form an infrastructure on which we build when applying for a large DFF or ERC project where we pursue this at scale.