A Model-Based Detection of Vulnerable and Malicious Browser Extensions | IEEE Conference Publication | IEEE Xplore