Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[pentest] Add new OTBN FI tests #25589

Merged
merged 9 commits into from
Feb 13, 2025

Conversation

nasahlpa
Copy link
Member

@nasahlpa nasahlpa commented Dec 10, 2024

In this PR, the following new tests are added:

  • otbn.fi.char.lw
  • otbn.fi.char.bn_sel
  • otbn.fi.char.beq
  • otbn.fi.char.bn_rshi
  • otbn.fi.char.bn_wsrr
  • otbn.fi.char.dmem_write_test
  • otbn.fi.pc
  • otbn.fi.bne

@nasahlpa nasahlpa requested a review from a team as a code owner December 10, 2024 17:36
@nasahlpa nasahlpa requested review from timothytrippel and removed request for a team and timothytrippel December 10, 2024 17:36
@nasahlpa nasahlpa added the CherryPick:earlgrey_1.0.0 This PR should be cherry-picked to earlgrey_1.0.0 label Dec 10, 2024
@nasahlpa nasahlpa force-pushed the pentest_otbn_fi_upstream branch 2 times, most recently from 6be9fcf to f7840cd Compare December 12, 2024 05:30
nasahlpa and others added 9 commits February 13, 2025 12:59
This commit adds a test that can be used to target LW instruction on
OTBN with FI.

Signed-off-by: Pascal Nasahl <[email protected]>
Co-authored-by: Alexander Wagner <[email protected]>
This commit adds a test that allows a security evaluator to
target the BN.SEL instruction of OTBN. Here, manipulating the
carry flag could be one attack vector.

Signed-off-by: Pascal Nasahl <[email protected]>
Co-authored-by: Alexander Wagner <[email protected]>
This commit adds the OTBN char.beq test. In this test,
the FI target is the BEQ instruction - i.e., manipulating
the jump

Signed-off-by: Pascal Nasahl <[email protected]>
Co-authored-by: Alexander Wagner <[email protected]>
This test allows a security evaluator to characterize the
big number instruction rshi.

Signed-off-by: Pascal Nasahl <[email protected]>
Co-authored-by: Alexander Wagner <[email protected]>
Target the read WSR to register OTBN instruction with FI. The test
returns the read registers back to the host.

Signed-off-by: Pascal Nasahl <[email protected]>
Co-authored-by: Alexander Wagner <[email protected]>
This commit adds a test that can be used to check whether
faults can manipulate data that is written into DMEM.

Signed-off-by: Pascal Nasahl <[email protected]>
Co-authored-by: Alexander Wagner <[email protected]>
The goal of this test is to manipulate a program counter that is
passed from Ibex to OTBN. When the PC is manipulated, the OTBN
instruction counter does not match the expectation.

Signed-off-by: Pascal Nasahl <[email protected]>
Co-authored-by: Alexander Wagner <[email protected]>
The goal of this test is to fault to BNE instruction such that
the jump is not performed.

Signed-off-by: Pascal Nasahl <[email protected]>
Co-authored-by: Alexander Wagner <[email protected]>
For english breakfast targets, we are not waiting for the otbn to be
finished. However, for the other targets, we should do this.

Signed-off-by: Pascal Nasahl <[email protected]>
@nasahlpa nasahlpa force-pushed the pentest_otbn_fi_upstream branch from f7840cd to 0b13417 Compare February 13, 2025 12:00
@nasahlpa nasahlpa merged commit d726f40 into lowRISC:master Feb 13, 2025
42 checks passed
@nasahlpa nasahlpa deleted the pentest_otbn_fi_upstream branch February 13, 2025 15:50
Copy link

Successfully created backport PR for earlgrey_1.0.0:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CherryPick:earlgrey_1.0.0 This PR should be cherry-picked to earlgrey_1.0.0
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants