Trends and lessons from three years fighting malicious extensions
Verified Security for Browser Extensions