A seamless, client-centric programming model for type safe web applications
JSFlow: tracking information flow in JavaScript and its APIs