CoCo: Efficient Browser Extension Vulnerability Detection via Coverage-guided, Concurrent Abstract Interpretation

被引：0

作者：

Yu, Jianjia ^{[1
]}

Li, Song ^{[2
]}

Zhu, Junmin ^{[3
]}

Cao, Yinzhi ^{[1
]}

机构：

[1] Johns Hopkins University, Baltimore,MD, United States

[2] Zhejiang University, Zhejiang, Hangzhou, China

[3] Shanghai Jiao Tong University, Shanghai, China

来源：

CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security | 2023年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Abstracting - Codes (symbols) - High level languages - Model checking - Static analysis - Web browsers - Websites - Zero-day attack

引用

页码：2441 / 2455