The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
RTL-ConTest: Concolic Testing on RTL for Detecting Security Vulnerabilities
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
This article presents RTL-ConTest, a register transfer-level (RTL) security vulnerability detection algorithm, that extracts critical process flows from a RTL design and executes RTL-level concolic testing to generate security test cases for identifying critical exploits manifested in a System on Chip (SoC). The efficiency of the proposed approach is evaluated on opensource RISC-V-based SoCs. Our technique is successful in detecting the security vulnerabilities manifested in the processor core as well as in the rest of the SoC, e.g., debug modules, peripherals, etc., thereby providing a thorough vulnerability check on the entire hardware design. As demonstrated by our experimental results, in circumstances where conventional security verification tools are limited, RTL-ConTest furnishes significantly improved efficiency in detecting SoC security vulnerabilities.
How it got here
How it got here
agent via openalex
Added
2026-10-24 21:54 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@article{meng2022rtlcontest,
title = {RTL-ConTest: Concolic Testing on RTL for Detecting Security Vulnerabilities},
author = {Xingyu Meng and Shamik Kundu and Arun Karthik Kanuparthi and Kanad Basu},
year = {2022},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {41},
number = {3},
pages = {466--477},
doi = {10.1109/tcad.2021.3066560},
}
This record lives at https://refs.drheap.org/meng2022rtlcontest/ and will keep
doing so. It used to be called meng2021rtlcontest, and those addresses still resolve to this one.