Over the past several years, we've developed semantics foundations for JavaScript, built tools atop these foundations, and applied these tools to Web security problems. We've recently started tackling other Web technologies as well. All our work is open source and available from this website.

Semantic Foundations




Check out this brief video, presented at the JavaScript Tools Conference, that gives an overview of our work: