Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming

Martin Lester, Luke Ong, Max Schaefer

Web applications written in JavaScript are regularly used for dealing with sensitive or personal data. Consequently, reasoning about their security properties has become an importa…