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

Cherry-pick to earlgrey_1.0.0: [pentest] Add new OTBN FI tests #26281

Merged
merged 9 commits into from
Feb 13, 2025

Conversation

github-actions[bot]
Copy link

This is an automatic cherry-pick of #25589 to branch earlgrey_1.0.0.

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]>
(cherry picked from commit 0b58188)
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]>
(cherry picked from commit 9a53fb4)
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]>
(cherry picked from commit 3a111e2)
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]>
(cherry picked from commit 1601b11)
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]>
(cherry picked from commit bcfed69)
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]>
(cherry picked from commit dcdd169)
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]>
(cherry picked from commit d9f96a2)
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]>
(cherry picked from commit 10025ff)
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]>
(cherry picked from commit 0b13417)
@github-actions github-actions bot requested a review from a team as a code owner February 13, 2025 15:50
@github-actions github-actions bot requested review from alees24 and removed request for a team February 13, 2025 15:50
@vogelpi vogelpi merged commit 8519f2c into earlgrey_1.0.0 Feb 13, 2025
@a-will a-will deleted the backport-25589-to-earlgrey_1.0.0 branch February 13, 2025 16:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants