Paper Reading Questions

For each paper, you should submit two text files via the Gradescope submission web site, as described below. The submission is due before lecture. (The Gradescope entry code for 6.5660 is 3JZ23X.)

Lecture 12

Suppose that the developer implements the PIN-protected backup HSM by comparing the supplied PIN code to the stored PIN code one digit at a time, from left to right, returning an error as soon as it finds a mismatched digit. Explain why this implementation should not satisfy the paper's IPR definition for the specification shown in Figure 2, and explain what part of the proof would fail.