Demo Data from VLDB 2026 / reviewers in the wild / expert
Henian Li
dblp:307/3984
· DBLP profile ↗
3ranked-venue papers
0as first author
3since 2021 · last 2024
0000-0002-2822-0422ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 3 · 3 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
1 paper |
Hardware security and side channels · 50% Systems and software security · 50% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Hardware security and side channels › fault attacks
fault injection attack |
0.6 | 1 | 2022 | SoFI: Security Property-Driven Vulnerability Assessments of ICs Against Fault-Injection Attacks · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2022 |
Systems and software security › vulnerability management
vulnerability assessment |
0.6 | 1 | 2022 | SoFI: Security Property-Driven Vulnerability Assessments of ICs Against Fault-Injection Attacks · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2022 |
Electronic design automation › hardware security
design for security |
0.2 | 1 | 2022 | SoFI: Security Property-Driven Vulnerability Assessments of ICs Against Fault-Injection Attacks · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2022 |
Methods — techniques the papers use, named apart from their topics
security property modeling · 1.1gate-level analysis · 1.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | TDM: Time and Distance Metric for Quantifying Information Leakage Vulnerabilities in SoCsabstractProtecting assets against information leakage is crucial to ensure System-on-Chip (SoC) security. This paper introduces a Time and Distance-based security metric (TDM) to assess information leakage risks across hardware Intellectual Properties (IPs) in SoC architectures. TDM quantifies both asset exposure time and spatial proximity to external threats, identifying vulnerable locations and critical timings. Using graph-based analysis, we map data flow, evaluating risk based on how long and how closely sensitive data resides near output ports. Applied to five open-source designs, TDM effectively enhances SoC security by measuring susceptibility to threats. Avinash Ayalasomayajula, Henian Li, Hasan Al Shaikh, Sujan Kumar Saha, Farimah Farahmandi |
ICCD | 2 |
| 2022 | SoFI: Security Property-Driven Vulnerability Assessments of ICs Against Fault-Injection AttacksabstractFault-injection attacks have become a major concern for hardware designs, primarily due to their powerful capability in tampering with critical locations in a device to cause violation of its integrity, confidentiality, and availability. Researchers have proposed a number of physical and architectural countermeasures against fault-injection attacks; however, these techniques usually come with large overhead and design efforts making them difficult to use in practice. In addition, the current electronic design automation (EDA) tools are not fully equipped to support vulnerability assessment against fault-injection attacks at the design-time for secure hardware development. To perform a design-time (i.e., presilicon) evaluation of such attacks, a designer should be aware of various security vulnerabilities and must perform a tedious manual design review, which is time-consuming and hard to ensure effectiveness. Therefore, it is very important to develop an automatic assessment framework to identify the most security-critical locations in a design to fault-injection attacks and place emphasis on protecting those locations. In this article, we propose an automated framework for fault-injection vulnerability assessment of designs at gate-level, while considering the design-specific security properties (SPs) using novel models and metrics. The proposed framework identifies the faults that can violate the SPs of the design. As a result, applying local countermeasures will be more effective and the protection overhead will be reduced significantly. Our experimental results on the SP of AES, RSA, and SHA implementations show that the security threat from fault-injection attacks can be significantly mitigated by protecting the identified critical locations, which are less than 0.6% of the design. Henian Li, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 2 |
| 2021 | LL-ATPG: Logic-Locking Aware Test Using Valet Keys in an Untrusted EnvironmentabstractThe ever-increasing cost and complexity of cutting-edge manufacturing and test processes have migrated the semiconductor industry towards a globalized business model. With many untrusted entities involved in the supply chain located across the globe, original intellectual property (IP) owners face threats such as IP theft/piracy, tampering, counterfeiting, reverse engineering, and overproduction. Logic locking has emerged as a promising solution to protect integrated circuits (ICs) against supply chain vulnerabilities. It inserts key gates to corrupt circuit functionality for incorrect key inputs. A logic-locked chip test can be performed either before or after chip activation (becoming unlocked) by loading the unlocking key into the on-chip tamperproof memory. However, both pre-activation and post-activation tests suffer from lower test coverage, higher test cost, and critical security vulnerabilities. To address the shortcomings, we propose LL-ATPG, a logic-locking aware test method that applies a set of valet (dummy) keys based on a target test coverage to perform manufacturing test in an untrusted environment. LL-ATPG achieves high test coverage and minimizes test time overhead when testing the logic-locked chip before activation without sharing the unlocking key. We perform security analysis of LL-ATPG and experimentally demonstrate that sharing the valet keys with the untrusted foundry does not create additional vulnerability for the underlying locking method. M. Sazadur Rahman, Henian Li, Rui Guo 0010, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor |
ITC | 2 |