swMATH ID: 37815
Software Authors: Groef, W.D., Devriese, D., Nikiforakis, N., Piessens, F.
Description: FlowFox: a web browser with flexible and precise information flow control. We present FlowFox, the first fully functional web browser that implements a precise and general information flow control mechanism for web scripts based on the technique of secure multi-execution. We demonstrate how FlowFox subsumes many ad-hoc script containment countermeasures developed over the last years. We also show that FlowFox is compatible with the current web, by investigating its behavior on the Alexa top-500 web sites, many of which make intricate use of JavaScript. The performance and memory cost of FlowFox is substantial (a performance cost of around 20
Homepage: https://dl.acm.org/doi/abs/10.1145/2382196.2382275
Related Software: Jif; JSFlow; CoSMed; CAVA LTL Modelchecker; Ur/Web; seL4; CakeML; Isabelle/HOL; ConfiChair; JavaScript; Archive Formal Proofs; CoCon; JRIF; node-ffi; WebKit; Node.js; Locales; Sledgehammer; Isar; Isabelle
Cited in: 8 Documents

Citations by Year