| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| // Security countermeasures testplan extracted from the IP Hjson using reggen. |
| // |
| // This testplan is auto-generated only the first time it is created. This is |
| // because this testplan needs to be hand-editable. It is possible that these |
| // testpoints can go out of date if the spec is updated with new |
| // countermeasures. When `reggen` is invoked when this testplan already exists, |
| // It checks if the list of testpoints is up-to-date and enforces the user to |
| // make further manual updates. |
| // |
| // These countermeasures and their descriptions can be found here: |
| // .../aes/data/aes.hjson |
| // |
| // It is possible that the testing of some of these countermeasures may already |
| // be covered as a testpoint in a different testplan. This duplication is ok - |
| // the test would have likely already been developed. We simply map those tests |
| // to the testpoints below using the `tests` key. |
| // |
| // Please ensure that this testplan is imported in: |
| // .../aes/data/aes_testplan.hjson |
| { |
| testpoints: [ |
| { |
| name: sec_cm_bus_integrity |
| desc: "Verify the countermeasure(s) BUS.INTEGRITY." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_lc_escalate_en_intersig_mubi |
| desc: "Verify the countermeasure(s) LC_ESCALATE_EN.INTERSIG.MUBI." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_main_config_shadow |
| desc: "Verify the countermeasure(s) MAIN.CONFIG.SHADOW." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_main_config_sparse |
| desc: "Verify the countermeasure(s) MAIN.CONFIG.SPARSE." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_aux_config_shadow |
| desc: "Verify the countermeasure(s) AUX.CONFIG.SHADOW." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_aux_config_regwen |
| desc: "Verify the countermeasure(s) AUX.CONFIG.REGWEN." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_key_sideload |
| desc: "Verify the countermeasure(s) KEY.SIDELOAD." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_key_sw_unreadable |
| desc: "Verify the countermeasure(s) KEY.SW_UNREADABLE." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_data_reg_sw_unreadable |
| desc: "Verify the countermeasure(s) DATA_REG.SW_UNREADABLE." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_key_sec_wipe |
| desc: "Verify the countermeasure(s) KEY.SEC_WIPE." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_iv_config_sec_wipe |
| desc: "Verify the countermeasure(s) IV.CONFIG.SEC_WIPE." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_data_reg_sec_wipe |
| desc: "Verify the countermeasure(s) DATA_REG.SEC_WIPE." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_data_reg_key_sca |
| desc: "Verify the countermeasure(s) DATA_REG.KEY.SCA." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_key_masking |
| desc: "Verify the countermeasure(s) KEY.MASKING." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_main_fsm_sparse |
| desc: "Verify the countermeasure(s) MAIN.FSM.SPARSE." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_main_fsm_redun |
| desc: "Verify the countermeasure(s) MAIN.FSM.REDUN." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_cipher_fsm_sparse |
| desc: "Verify the countermeasure(s) CIPHER.FSM.SPARSE." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_cipher_fsm_redun |
| desc: "Verify the countermeasure(s) CIPHER.FSM.REDUN." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_cipher_ctr_redun |
| desc: "Verify the countermeasure(s) CIPHER.CTR.REDUN." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_ctr_fsm_sparse |
| desc: "Verify the countermeasure(s) CTR.FSM.SPARSE." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_ctr_fsm_redun |
| desc: "Verify the countermeasure(s) CTR.FSM.REDUN." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_ctrl_sparse |
| desc: "Verify the countermeasure(s) CTRL.SPARSE." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_main_fsm_global_esc |
| desc: "Verify the countermeasure(s) MAIN.FSM.GLOBAL_ESC." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_main_fsm_local_esc |
| desc: "Verify the countermeasure(s) MAIN.FSM.LOCAL_ESC." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_cipher_fsm_local_esc |
| desc: "Verify the countermeasure(s) CIPHER.FSM.LOCAL_ESC." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_ctr_fsm_local_esc |
| desc: "Verify the countermeasure(s) CTR.FSM.LOCAL_ESC." |
| milestone: V2S |
| tests: [] |
| } |
| { |
| name: sec_cm_data_reg_local_esc |
| desc: "Verify the countermeasure(s) DATA_REG.LOCAL_ESC." |
| milestone: V2S |
| tests: [] |
| } |
| ] |
| } |