Analyzing Information Flow in JavaScript-Based Browser Extensions | IEEE Conference Publication | IEEE Xplore