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 条
  • [1] Security Compliance Analysis of Reconfigurable Scan Networks
    Lylina, Natalia
    Atteya, Ahmed
    Raiola, Pascal
    Sauer, Matthias
    Becker, Bernd
    Wunderlich, Hans-Joachim
    2019 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2019,
  • [2] Security Preserving Integration and Resynthesis of Reconfigurable Scan Networks
    Lylina, Natalia
    Atteya, Ahmed
    Wang, Chih-Hao
    Wunderlich, Hans-Joachim
    2020 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2020,
  • [3] Testability-Enhancing Resynthesis of Reconfigurable Scan Networks
    Lylina, Natalia
    Wang, Chih-Hao
    Wunderlich, Hans-Joachim
    2021 IEEE INTERNATIONAL TEST CONFERENCE (ITC 2021), 2021, : 20 - 29
  • [4] Specification and Verification of Security in Reconfigurable Scan Networks
    Kochte, Michael A.
    Sauer, Matthias
    Gomez, Laura Rodriguez
    Raiola, Pascal
    Becker, Bernd
    Wunderlich, Hans-Joachim
    2017 22ND IEEE EUROPEAN TEST SYMPOSIUM (ETS), 2017,
  • [5] Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks
    Raiola, Pascal
    Paxian, Tobias
    Becker, Bernd
    2020 IEEE EUROPEAN TEST SYMPOSIUM (ETS 2020), 2020,
  • [6] Detecting and Resolving Security Violations in Reconfigurable Scan Networks
    Raiola, Pascal
    Kochte, Michael A.
    Atteya, Ahmed
    Gomez, Laura Rodriguez
    Wunderlich, Hans-Joachim
    Becker, Bernd
    Sauer, Matthias
    2018 IEEE 24TH INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN (IOLTS 2018), 2018, : 91 - 96
  • [7] Online Prevention of Security Violations in Reconfigurable Scan Networks
    Atteya, Ahmed
    Kochte, Michael A.
    Sauer, Matthias
    Raiola, Pascal
    Becker, Bernd
    Wunderlich, Hans-Joachim
    2018 23RD IEEE EUROPEAN TEST SYMPOSIUM (ETS), 2018,
  • [8] Robust Reconfigurable Scan Networks
    Lylina, Natalia
    Wang, Chih-Hao
    Wunderlich, Hans-Joachim
    PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022), 2022, : 1149 - 1152
  • [9] Test of Reconfigurable Modules in Scan Networks
    Cantoro, Riccardo
    Zadegan, Farrokh Ghani
    Palena, Marco
    Pasini, Paolo
    Larsson, Erik
    Reorda, Matteo Sonza
    IEEE TRANSACTIONS ON COMPUTERS, 2018, 67 (12) : 1806 - 1817
  • [10] Test Strategies for Reconfigurable Scan Networks
    Kochte, Michael A.
    Baranowski, Rafal
    Schaal, Marcel
    Wunderlich, Hans-Joachim
    2016 IEEE 25TH ASIAN TEST SYMPOSIUM (ATS), 2016, : 113 - 118