%0 Journal Article %1 journals/jcs/PolitzGK14 %A Politz, Joe Gibbs %A Guha, Arjun %A Krishnamurthi, Shriram %D 2014 %J J. Comput. Secur. %K dblp %N 4 %P 511-565 %T Typed-based verification of Web sandboxes. %U http://dblp.uni-trier.de/db/journals/jcs/jcs22.html#PolitzGK14 %V 22

@article{journals/jcs/PolitzGK14, added-at = {2023-08-28T00:00:00.000+0200}, author = {Politz, Joe Gibbs and Guha, Arjun and Krishnamurthi, Shriram}, biburl = {https://www.bibsonomy.org/bibtex/2af9c3c9e9f5428b658e11379d0148a4b/dblp}, ee = {https://www.wikidata.org/entity/Q114944897}, interhash = {cc3cdb514b80361acad5a60f128e4cae}, intrahash = {af9c3c9e9f5428b658e11379d0148a4b}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = 4, pages = {511-565}, timestamp = {2024-04-09T05:17:44.000+0200}, title = {Typed-based verification of Web sandboxes.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs22.html#PolitzGK14}, volume = 22, year = 2014 }