SCAR: Security Compliance Analysis and Resynthesis of Reconfigurable Scan Networks

被引:0
|
作者
Lylina, Natalia [1 ]
Wang, Chih-Hao [1 ]
Wunderlich, Hans-Joachim [1 ]
机构
[1] Univ Stuttgart, Inst Comp Architecture & Comp Engn, D-70569 Stuttgart, Germany
关键词
Design validation; integer linear programming (ILP); reconfigurable scan network; satisfiability (SAT); secure design for test (DfT); synthesis; ACCESS; ATTACKS; TIME;
D O I
10.1109/TCAD.2022.3158250
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Reconfigurable scan networks (RSNs) enable an efficient reliability management throughout the device lifetime. They can be used for controlling integrated instruments, such as aging monitors or built-in self-test (BIST) registers, as well as for collecting the evaluation results from them. At the same time, they may impose a security threat, since the additional connectivities introduced by the RSN can possibly be misused as a side channel. This article presents an approach for security compliance analysis and resynthesis (SCAR) of RSNs to integrate an RSN compliant with the security properties of the initial design. First, the reachability properties of the original design are accurately computed. The connectivities inside the RSN, which exceed the allowed connectivity of the initial design, are identified using the presented security compliance analysis. Next, all violations are resolved by automated Resynthesis with a minimized number of structural changes. As a result of SCAR, any information leakage due to the RSN integration is prevented, while the accessibility of the instruments through the RSN is preserved. The approach is able to analyze complex control dependencies and obtains a compliant RSN even for the largest available benchmarks.
引用
收藏
页码:5644 / 5656
页数:13
相关论文
共 50 条
  • [31] Lock Isolation Security Architecture for Reconfigurable Scanning Networks
    Liu J.
    Wang T.
    Ren F.
    Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2021, 33 (03): : 356 - 362
  • [32] Security Analysis of Scan Obfuscation Techniques
    Sao, Yogendra
    Ali, Sk. Subidh
    IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2023, 18 : 2842 - 2855
  • [33] Optimal segmented scan and simulation of reconfigurable architectures on fixed connection networks
    Bertossi, AA
    Mei, A
    HIGH PERFORMANCE COMPUTING - HIPC 2000, PROCEEDINGS, 2001, 1970 : 51 - 60
  • [34] Post-Silicon Validation of IEEE 1687 Reconfigurable Scan Networks
    Damljanovic, Aleksa
    Jutman, Artur
    Squillero, Giovanni
    Tsertov, Anton
    2019 IEEE EUROPEAN TEST SYMPOSIUM (ETS), 2019,
  • [35] A Novel Sequence Generation Approach to Diagnose Faults in Reconfigurable Scan Networks
    Cantoro, Riccardo
    Damljanovic, Aleksa
    Reorda, Matteo Sonza
    Squillero, Giovanni
    IEEE TRANSACTIONS ON COMPUTERS, 2020, 69 (01) : 87 - 98
  • [36] Concurrent Test of Reconfigurable Scan Networks for Self-Aware Systems
    Wang, Chih-Hao
    Lylina, Natalia
    Atteya, Ahmed
    Hsieh, Tong-Yu
    Wunderlich, Hans-Joachim
    2021 IEEE 27TH INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN (IOLTS), 2021,
  • [37] Security of reconfigurable FSO mesh networks and application to disaster areas
    Kartalopoulos, Stamatios V.
    ENABLING PHOTONICS TECHNOLOGIES FOR DEFENSE, SECURITY, AND AEROSPACE APPLICATIONS IV, 2008, 6975
  • [38] Parameterized Analysis of Reconfigurable Broadcast Networks
    Balasubramanian, A. R.
    Guillou, Lucie
    Weil-Kennedy, Chana
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), 2022, 13242 : 61 - 80
  • [39] A Semi-Formal Technique to Generate Effective Test Sequences for Reconfigurable Scan Networks
    Cantoro, Riccardo
    Damljanovic, Aleksa
    Reorda, Matteo Sonza
    Squillero, Giovanni
    2018 IEEE INTERNATIONAL TEST CONFERENCE IN ASIA (ITC-ASIA 2018), 2018, : 55 - 60
  • [40] IEEE Std. P1687.1 for Access Control of Reconfigurable Scan Networks
    Larsson, Erik
    Xiang, Zehang
    Murali, Prathamesh
    2020 IEEE EUROPEAN TEST SYMPOSIUM (ETS 2020), 2020,