FlowFox 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 all top 5 Cited by 15 Authors 3 Hedin, Daniel 3 Popescu, Andrei 3 Sabelfeld, Andrei 2 Bauereiß, Thomas 2 Pesenti Gritti, Armando 2 Raimondi, Franco 2 Sjösten, Alexander 1 Bauer, Lujo 1 Bello, Luciano 1 Bielova, Nataliia 1 Hou, Ping 1 Jia, Limin 1 Lammich, Peter 1 Piessens, Frank 1 Rafnsson, Willard Cited in 2 Serials 2 Journal of Automated Reasoning 1 The Journal of Logic and Algebraic Programming Cited in 1 Field 8 Computer science (68-XX) Citations by Year