29 citations · 99 across the 16 of their papers we have counts for
10 papers · 1 filter
Toward Automated Potential Primary Asset Identification in Verilog Designs
Subroto Kumer Deb Nath, Benjamin Tan
With greater design complexity, the challenge to anticipate and mitigate security issues provides more responsibility for the designer. As hardware provides the foundation of a sec…
The Quest to Build Trust Earlier in Digital Design
Benjamin Tan
The ever-rising complexity of computer systems presents challenges for maintaining security and trust throughout their lifetime. As hardware forms the foundation of a secure system…
An Investigation of Hardware Security Bug Characteristics in Open-Source Projects
Joey Ah-kiow, Benjamin Tan
Hardware security is an important concern of system security as vulnerabilities can arise from design errors introduced throughout the development lifecycle. Recent works have prop…
Theoretical Patchability Quantification for IP-Level Hardware Patching Designs
Wei-Kai Liu, Benjamin Tan, Jason M. Fung +1
As the complexity of System-on-Chip (SoC) designs continues to increase, ensuring thorough verification becomes a significant challenge for system integrators. The complexity of ve…
FLAG: Finding Line Anomalies (in code) with Generative AI
Baleegh Ahmad, Benjamin Tan, Ramesh Karri +1
Code contains security and functional bugs. The process of identifying and localizing them is difficult and relies on human labor. In this work, we present a novel approach (FLAG)…
(Security) Assertions by Large Language Models
Rahul Kande, Hammond Pearce, Benjamin Tan +4
The security of computer systems typically relies on a hardware root of trust. As vulnerabilities in hardware can have severe implications on a system, there is a need for techniqu…