Confusion about the paper "Hide and Seek with Spectres"

[zhangkanqi]

Hi, Sorry to contact you in this way, but I failed to find your email address.

I am reading your paper "Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing". When reading the right side of page 7, I have an incomprehension regarding the value of i'. In order to generate Contract(p, i) = Contract(p, i′ ), I think i' should be {rax=20, rbx=70} rather than {rax=10, rbx=70}.

When i={rax=20,rbx=5} and i'={rax=20, rbx=70}, it can successfully produce Contract(p, i) = Contract(p, i′) and Measure(p, i, µ) != Measure(p, i′, µ).

I'm not sure if my understanding is correct. Can you help clarify my doubt? Thanks a lot.

[OleksiiOleksenko]

Hi @zhangkanqi . Thanks for reporting the issue!

Indeed, you're correct, it was a typo. The value of rax in i' should have been the same as in i, that is rax=20

[zhangkanqi]

Thanks for reply.