ASAPatch- Automated, Scalable And Programmable Framework For Post-Silicon Security Remediation
Open Access
- 10 November 2026
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Design Automation of Electronic Systems
- Vol. 32 (2) , 1-31
Abstract
As Systems-on-Chip (SoCs) grow increasingly complex, the validation space expands exponentially, making fully-validated SoCs difficult to attain. This challenge is particularly critical for addressing security bugs related to hardware security. Recent research has shifted towards the possibility of remediating hardware security bugs in the field. In this article, our goal is to formalize this approach by introducing an automated, scalable, and programmable remediation framework. We present a novel architecture and corresponding programming languages designed for crafting remediation programs, along with an automated framework for “pragma”-based source code transformation and a compiler for the remediation programs. The remediation architecture demonstrated in this article can observe up to 143 Kbits and control up to 26 Kbits per mm 2 of logic area with the NanGate 45nm cell library, demonstrating its relevance to be used with modern SoCs.Keywords
This publication has 26 references indexed in Scilit:
- Theoretical Patchability Quantification for IP-Level Hardware Patching Designs2024
- Practical Analysis of Xilinx FPGAs' Bitstream Encryption2023
- Toward a generic and secure bootloader for IoT device firmware OTA update2022
- OpenFPGA: An Opensource Framework Enabling Rapid Prototyping of Customizable FPGAs2019
- Low-Overhead Microarchitectural Patching for Multicore Memory Subsystems2018
- System-on-chip security architecture and CAD framework for hardware patch2018
- Transportation security in the era of autonomous vehicles: Challenges and practice2017
- A flexible architecture for systematic implementation of SoC security policies2015
- Pyverilog: A Python-Based Hardware Design Processing Toolkit for Verilog HDL2015
- Caspar: Hardware patching for multicore processors2009