BibTex format
@article{Bhargavan:2014:10.1007/978-3-319-10082-1_4,
author = {Bhargavan, K and Delignat-Lavaud, A and Maffeis, S},
doi = {10.1007/978-3-319-10082-1_4},
journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
pages = {88--123},
title = {Defensive javascript building and verifying secure web components},
url = {http://dx.doi.org/10.1007/978-3-319-10082-1_4},
volume = {8604},
year = {2014}
}