attested R4 SPEC-INTERFERENCE-4 cross-domain WW