Results

Title Badges Repository
Delegating Verification for Remote Attestation using TEE Artifacts Evaluated: Available Artifacts Evaluated: Functional Artifact
duet: Combining a Trustworthy Controller with a Confidential Computing Environment Artifacts Evaluated: Available Artifacts Evaluated: Functional Artifacts Evaluated: Reusable Artifact
NetReach: Guaranteed Network Availability and Reachability to enable Resilient Networks for Embedded Systems Artifacts Evaluated: Available Artifacts Evaluated: Functional Artifact
PraaS: Verifiable Proofs of Property as-a-Service with Intel SGX Artifacts Evaluated: Available Artifacts Evaluated: Functional Artifacts Evaluated: Reusable Artifact
Revisiting Rollbacks on Smart Contracts in TEE-protected Private Blockchains Artifacts Evaluated: Available Artifact
Secure Intermittent Computing with ARM TrustZone on the Cortex-M Artifacts Evaluated: Available Artifacts Evaluated: Functional Artifact
SNPGuard: Remote Attestation of SEV-SNP VMs Using Open Source Tools Artifacts Evaluated: Available Artifacts Evaluated: Functional Artifacts Evaluated: Reusable Artifact