Git-Mirrors/tillitis-key
1
0
Fork 0
mirror of https://github.com/tillitis/tillitis-key1.git synced 2025-01-17 02:17:14 -05:00
Code Issues Packages Projects Releases Wiki Activity

Clarify what locked down means and orogin of the UDS in Bellatrix

Browse Source 
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
This commit is contained in:
Joachim Strömbergson 2023-05-02 14:08:00 +02:00 committed by dehanj
parent 9d188a2f7f
commit 526df27bae
No known key found for this signature in database
GPG Key ID: 3707A9DBF4BB8F1A
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
doc/threat_model/threat_model.md
View File

@ -176,9 +176,13 @@ are out of scope and what mitigations are in place.
### TK1-23.03.1-Bellatrix ### TK1-23.03.1-Bellatrix
This is the first general release of the TKey TK1 device. In this This is the first general release of the TKey TK1 end user device. In this
device the FPGA bitstream is stored and locked into the NVCM. The UDS device the FPGA bitstream is stored and locked into the NVCM. This means
and UDI assets are stored as part of the FPGA bitstream. that the bitstream can't be changed or read out from the device.
The UDS and UDI assets are generated during provisioning by Tillitis, and
are stored as part of the FPGA bitstream. The UDS is generated using
the tpt tool and is not stored by Tillitis after generation.
The FPGA design contain some mechanisms for execution protection, The FPGA design contain some mechanisms for execution protection,
execution monitoring as well as functionality designed to make warm execution monitoring as well as functionality designed to make warm