2 papers
cs.CR2026
Designing Trustworthy Layered Attestations
Will Thomas, Logan Schmalz, Adam Petz +4
Attestation means providing evidence that a remote target system is worthy of trust for some sensitive interaction. Although attestation is already used in network access control,…
cs.CR2020
An Infrastructure for Faithful Execution of Remote Attestation Protocols
Adam Petz, Perry Alexander
Remote attestation is an emerging technology for establishing trust in a remote computing system. Copland is a domain-specific language for specifying layered attestation protocols…