COURSE SERIES
RTL Anti-Tampering Design
A 16-lesson plan on registers, control flow, permission handoffs and evidence under a stated fault model.
16 published · 0 planned
Course outline
- 01Published
RTL Anti-Tampering Design Lesson 1: Why Correct RTL Can Still Be Unsafe
Follow a permission decision to the accepted commit.
- 02Published
RTL Anti-Tampering Design Lesson 2: Write a Fault Model You Can Test
Specify targets, effects, timing, budget and trusted boundaries.
- 03Published
RTL Anti-Tampering Design Lesson 3: Can You Trust a Register's Value?
Compare parity, complementary encoding and ECC under stated faults.
- 04Published
RTL Anti-Tampering Design Lesson 4: Multi-bit control signals: which value can release the request?
Check strict decoding and upstream single points of failure.
- 05Published
RTL Anti-Tampering Design Lesson 5: DMR, TMR and common failures: what do agreeing copies prove?
Include voter faults and dependence between replicas.
- 06Published
RTL Anti-Tampering Design Lesson 6: Counters and progress: consistent values can finish early
Find counters that are consistent but wrong.
- 07Published
RTL Anti-Tampering Design Lesson 7: FSM state encoding: distance protects only the stored state
Check Hamming distance and synthesized encoding.
- 08Published
RTL Anti-Tampering Design Lesson 8: FSM transitions and history: permission belongs to this transaction
Distinguish legal states from authorized control flow.
- 09Published
RTL Anti-Tampering Design Lesson 9: Shadow registers and secure CSRs: protect the whole update
Protect the update, lock and commit protocol.
- 10Published
RTL Anti-Tampering Design Lesson 10: Alerts and local response: did detection arrive before acceptance?
Measure when detection actually prevents a commit.
- 11Published
RTL Anti-Tampering Design Lesson 11: Reset, Clocks, CDC and Lifecycle
Review startup, domain crossings and debug permissions.
- 12Published
RTL Anti-Tampering Design Lesson 12: Secure Boot and Key Release
Bind image, version and key permissions to the final decision.
- 13Published
RTL Anti-Tampering Design Lesson 13: DFA, SIFA and Information Leakage
Separate control safety from cryptographic leakage.
- 14Published
RTL Anti-Tampering Design Lesson 14: RTL and Netlist Fault Campaigns
Build reproducible campaigns and classify counterexamples.
- 15Published
RTL Anti-Tampering Design Lesson 15: Calibrating Physical Fault-Injection Models
Compare physical observations with the digital model.
- 16Published
RTL Anti-Tampering Design Lesson 16: Design Review and Evidence Packages
Report scope, coverage, counterexamples and unknowns.