Quentin Stiévenart, Coen De Roover. Compositional Information Flow Analysis for WebAssembly Programs. In 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, Adelaide, Australia, September 28 - October 2, 2020. pages 13-24, IEEE, 2020. [doi]
Abstract is missing.