WarpGuard: Towards Control-Flow Attestation for Heterogeneous CPU-GPU Execution

arXiv:2607.13640 · cs.CR · Submitted 2026-07-15 · Read on arXiv

Christian Lindenmeier, Meni Orenbach, Amro Awad, Fabian Schwarz, Fritz Alder, Ahmad Atamli

cs.CR

Submitted: 2026-07-15

Code: https://github.com/NVIDIA-AI-IOT/jetson_benchmarks

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Trace — 90× in this paper · explained in 2 episodes
• Verifier — 63× in this paper · explained in 2 episodes
• Verification — 18× in this paper · explained in 2 episodes
• Benchmark — 15× in this paper · explained in 2 episodes
• Control-Flow Integrity — 6× in this paper
• Control-Flow Graph — 3× in this paper
• Core — 3× in this paper · explained in 2 episodes
• Prior Control-Flow Attestation — 2× in this paper
• Symposium on Security and Privacy — 2× in this paper
• ACM International Conference on Computer-Aided Design — 1× in this paper
• Adam — 1× in this paper · explained in 2 episodes
• Arm TrustZone — 1× in this paper · explained in 1 episode
• Artificial Intelligence — 1× in this paper
• Artificial Intelligence (AI) — 1× in this paper · explained in 2 episodes
• Communication Overhead — 1× in this paper · explained in 2 episodes
• Single-Instruction Multiple-Thread — 1× in this paper
• Software Defined Systems — 1× in this paper

Sources

• A Reliable, Time-Predictable Heterogeneous SoC for AI-Enhanced Mixed-Criticality Edge Applications
• Hardware Accelerators for Autonomous Cars: A Review

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs