~/talk

Keynote: NVIDIA’s secure RISC-V processor

Talkat RISC-V Global Forum 2020 · on Thursday, 2020-09-03· at 16:05· MeetingPlay, Virtual Event· [security]
links:none on file
name:Joe Xie
links:none on file
slides:none on file

NVRISCV is a second generation RISC-V core with tightly coupled crypto accelerators (SHA, AES, RSA, ECC), TRNG and secure key storage and it replaces a proprietary Falcon core that shipped billions of units. Hardware enforces partitions via a machine‑mode separation kernel and manifested hardware policy, extends PMP from 16 to 32 PMP entries, adds IOPMP to isolate DMA and engines, implements dual-core lockstep with a shadow core and a hard stop instruction, experiments with top‑bit pointer tagging, and uses Ada/SPARK plus Cadence/Synopsys formal tools for proofs.

AI-written summary · about

  1. 0:00Introduction
  2. 1:41Where does NVIDIA use embedded processors
  3. 3:38Challenges
  4. 6:46Security
  5. 14:38Summary
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.