lowRISC / lowRISC/opentitan

[keymgr] Verify entropy from EDN is used correctly

Open
#8,458 14 comments 0 reactions 2 assignees Claimed by @ballifatih View on GitHub
Component:DV Earlgrey-PROD Candidate IP:keymgr Milestone:V3 Priority:P2 Subsystem:Entropy Type:Task
Dominant language
SystemVerilog
Stars
3.6k
Forks
1.1k
Avg merge
2d 22h
Merged PRs (30d)
141

Description

@tjaychen

As we discussed, it's good to prove EDN data are used to wipe the secrets in keymgr.

> EDN -> LFSR -> used to wipe secret/data output

From EDN to the input of LFSR, we can check EDN data are sent to LSFR as seeds. But after LFSR, the value is scrambled. Sometimes, it's constantly scrambled for a period of time. Hence it's hard for DV to predict the correct outcome.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.