Chrome extensions: Threat analysis and countermeasures
Verified Security for Browser Extensions