attested R3 SPEC-INTERFERENCE-1