@inproceedings{Robertson2009Static_Enforcement, title = {{Static Enforcement of Web Application Integrity Through Strong Typing}}, author = {Robertson, William and Vigna, Giovanni}, booktitle = {Proceedings of the 18th USENIX Security Symposium}, series = {USENIX Security}, month = {August}, year = {2009}, address = {Montreal, Canada} }