Verified Security for Browser Extensions | IEEE Conference Publication | IEEE Xplore