Defensive JavaScript - Building and Verifying Secure Web Components (bibtex)
by Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
Reference:
Defensive JavaScript - Building and Verifying Secure Web Components (Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis), Chapter in Foundations of Security Analysis and Design VII, FOSAD Tutorial Lectures, Springer Verlag, volume 8604, 2014.
Bibtex Entry:
@string{spv="Springer Verlag"}
@string{lncs="Lecture Notes on Computer Science"}
@incollection{BhargavanFOSAD14,
  author    = {Karthikeyan Bhargavan and
               Antoine Delignat-Lavaud and
               Sergio Maffeis},
  title     = {{Defensive JavaScript - Building and Verifying Secure Web
               Components}},
  booktitle = 	 {Foundations of Security Analysis and Design VII, FOSAD Tutorial Lectures},
  year      = {2014},
  pages     = {88-123},
  publisher = spv,
  volume = 	 {8604},
  series = 	 lncs,
  url = {pubs/djs_fosad14.pdf}
}