15 citations · 30 across the 4 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2023★ 1 cited
UVSCAN: Detecting Third-Party Component Usage Violations in IoT Firmware
Binbin Zhao, Shouling Ji, Xuhong Zhang +5
Nowadays, IoT devices integrate a wealth of third-party components (TPCs) in firmware to shorten the development cycle. TPCs usually have strict usage specifications, e.g., checkin…
cs.CR2022★ 13 cited
MPInspector: A Systematic and Automatic Approach for Evaluating the Security of IoT Messaging Protocols
Qinying Wang, Shouling Ji, Yuan Tian +8
Facilitated by messaging protocols (MP), many home devices are connected to the Internet, bringing convenience and accessibility to customers. However, most deployed MPs on IoT pla…
cs.CR2021★ 15 cited
Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations
Tamjid Al Rahat, Yu Feng, Yuan Tian
OAuth protocols have been widely adopted to simplify user authentication and service authorization for third-party applications. However, little effort has been devoted to automati…