attested R2 SPEC-INTERFERENCE-1