Qualification: Semantic Remote Attestation -- A Virtual Machine directed approach to Trusted Computing
Haldar, Chandra, and Franz show that semantic remote attestation can evaluate program behavior and required properties rather than a particular binary, allowing multiple implementations to pass the same checks. This supports Kaal's criteria-versus-frozen-specification distinction at mechanism level. The source is narrower: it concerns a Java TrustedVM and counterparty-specified security properties, not legal or regulatory criteria, and it does not establish that regulated technology never needs to be reopened when criteria change. Software through the trusted virtual machine also remains subject to signed-hash binary attestation.
Affirmed commentary position. This record extends a source-bound scholarly claim but is not a verbatim paper claim.
Holds when
Current debate
Scholarly basis
Evidence and mapping
Topics
dynamic-regulationcomplianceinnovationconsensus-and-security
Provenance
Verify