Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis. Defensive JavaScript - Building and Verifying Secure Web Components. In Alessandro Aldini, Javier Lopez, Fabio Martinelli, editors, Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures. Volume 8604 of Lecture Notes in Computer Science, pages 88-123, Springer, 2013. [doi]
Abstract is missing.