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 (Alessandro Aldini, Javier Lopez, Fabio Martinelli, eds.), 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,
  editor = 	 {Alessandro Aldini and Javier Lopez and Fabio Martinelli},
  volume = 	 {8604},
  series = 	 lncs,
  url = 
}
Powered by bibtexbrowser