[CHERIoT] Guarantee that no capability can be forged through integer instructions.
Open
- Dominant language
- SystemVerilog
- Stars
- 3.6k
- Forks
- 1.1k
- Avg merge
- 2d 22h
- Merged PRs (30d)
- 141
Description
This issue has no description.
Contributor guide
Research direction
The issue provides no files, tests, or implementation entry point; start by locating the CHERIoT capability and integer-instruction handling in the OpenTitan repository. Done would require a demonstrated guarantee that integer instructions cannot forge capabilities, but the issue does not define the design or validation criteria.
Written by the indexing model from the issue text.
Assessment
- Domain
- embedded-iot, security
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 15/100