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 条
  • [21] Modeling, Verification and Pattern Generation for Reconfigurable Scan Networks
    Baranowski, Rafal
    Kochte, Michael A.
    Wunderlich, Hans-Joachim
    PROCEEDINGS INTERNATIONAL TEST CONFERENCE 2012, 2012,
  • [22] Structure-Oriented Test of Reconfigurable Scan Networks
    Ull, Dominik
    Kochte, Michael A.
    Wunderlich, Hans-Joachim
    2017 IEEE 26TH ASIAN TEST SYMPOSIUM (ATS), 2017, : 122 - 127
  • [23] Synthesis of Fault-Tolerant Reconfigurable Scan Networks
    Brandhofer, Sebastian
    Kochte, Michael A.
    Wunderlich, Hans-Joachim
    PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), 2020, : 798 - 803
  • [24] Reconfigurable Scan Networks: Modeling, Verification, and Optimal Pattern Generation
    Baranowski, Rafal
    Kochte, Michael A.
    Wunderlich, Hans-Joachim
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2015, 20 (02)
  • [25] A New Technique to Generate Test Sequences for Reconfigurable Scan Networks
    Cantoro, Riccardo
    Damljanovic, Aleksa
    Reorda, Matteo Sonza
    Squillero, Giovanni
    di Torino, Politecnico
    2018 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2018,
  • [26] A Complete Design-for-Test Scheme for Reconfigurable Scan Networks
    Natalia Lylina
    Chih-Hao Wang
    Hans-Joachim Wunderlich
    Journal of Electronic Testing, 2022, 38 : 603 - 621
  • [27] A Complete Design-for-Test Scheme for Reconfigurable Scan Networks
    Lylina, Natalia
    Wang, Chih-Hao
    Wunderlich, Hans-Joachim
    Journal of Electronic Testing: Theory and Applications (JETTA), 2022, 38 (06): : 603 - 621
  • [28] A Complete Design-for-Test Scheme for Reconfigurable Scan Networks
    Lylina, Natalia
    Wang, Chih-Hao
    Wunderlich, Hans-Joachim
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2023, 38 (6): : 603 - 621
  • [29] Fine-Grained Access Management in Reconfigurable Scan Networks
    Baranowski, Rafal
    Kochte, Michael A.
    Wunderlich, Hans-Joachim
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2015, 34 (06) : 937 - 946
  • [30] Designing a Reconfigurable Security Architecture for Wireless Sensor Networks
    Shi, Ke
    Qin, Xuan
    Cheng, Qifei
    Cheng, Yidong
    2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 1, PROCEEDINGS, 2009, : 154 - 158