Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jiaqi Linghu

dblp:301/5914 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2024
0009-0007-9289-0774ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 2 · 2 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
2 papers
Systems and software security · 100%
Computer networks
1 paper
Internet of things and sensor networks · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security
vulnerability discovery
1.322024
SaTC: Shared-Keyword Aware Taint Checking for Detecting Bugs in Embedded Systems · IEEE Trans. Dependable Secur. Comput. 2024
Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems · USENIX Security Symposium 2021
Systems and software security › information flow tracking › taint analysis
static taint analysis
0.812024
SaTC: Shared-Keyword Aware Taint Checking for Detecting Bugs in Embedded Systems · IEEE Trans. Dependable Secur. Comput. 2024
Internet of things and sensor networks › iot security
iot device security
0.212024
SaTC: Shared-Keyword Aware Taint Checking for Detecting Bugs in Embedded Systems · IEEE Trans. Dependable Secur. Comput. 2024

Methods — techniques the papers use, named apart from their topics

static program analysis · 1.5data-flow analysis · 0.8data flow analysis · 0.8static analysis · 0.5
YearPublicationVenuePosition
2024 SaTC: Shared-Keyword Aware Taint Checking for Detecting Bugs in Embedded Systems
abstract
IoT devices have brought invaluable convenience to our daily life. However, their pervasiveness also amplifies the impact of security vulnerabilities. Many widespread vulnerabilities of embedded systems reside in their vulnerable border services. Unfortunately, existing vulnerability detection methods can neither effectively nor efficiently analyze such border services: they either introduce heavy execution overheads or have many false positives and negatives. In this paper, we propose a novel static taint checking solution, SaTC, to effectively detect security vulnerabilities in border services provided by embedded devices. Our key insight is that string literals on border interfaces are commonly shared between front-end files and back-end binaries to encode user input. Thus, we extract common keywords from the front-end and use them to locate reference points in the back-end, which indicate the input entry. Then, we apply targeted data-flow analysis to detect dangerous uses of the untrusted user input accurately. We implemented a prototype of SaTC and evaluated it on 39 firmware samples from six popular vendors. SaTC discovered 36 unknown bugs, of which CVE/CNVD/PSV confirms 33. Compared to the state-of-the-art tool KARONTE, SaTC found significantly more bugs in the test set. It shows that SaTC is effective in discovering bugs in embedded systems.
Libo Chen 0001, Jiaqi Linghu, Qinsheng Hou, Quanpu Cai, Shanqing Guo, Zhi Xue
IEEE Trans. Dependable Secur. Comput.3
2021 Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems
Libo Chen 0001, Quanpu Cai, Yunfan Zhan, Hong Hu 0004, Jiaqi Linghu, Qinsheng Hou, Chao Zhang 0008, Hai-Xin Duan, Zhi Xue
USENIX Security Symposium6