CrossFire: An Analysis of Firefox Extension-Reuse Vulnerabilities
Verified Security for Browser Extensions