attested R5 SPEC-INTERFERENCE-1