TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems
Fuente:
arXiv
Saved in:
| Main Authors: | Caulfield, Adam, Neto, Antonio Joia, Rattanavipanon, Norrathep, Nunes, Ivan De Oliveira |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Provable Execution in Real-Time Embedded Systems
by: Neto, Antonio Joia, et al.
Published: (2025)
by: Neto, Antonio Joia, et al.
Published: (2025)
On the Verification of Control Flow Attestation Evidence
by: Caulfield, Adam, et al.
Published: (2024)
by: Caulfield, Adam, et al.
Published: (2024)
Resolving Conflicts Between RTOS Timekeeping and Uninterruptable Trusted Computing
by: Neto, Antonio Joia, et al.
Published: (2026)
by: Neto, Antonio Joia, et al.
Published: (2026)
Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
by: Rattanavipanon, Norrathep, et al.
Published: (2024)
by: Rattanavipanon, Norrathep, et al.
Published: (2024)
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
by: Nunes, Ivan De Oliveira, et al.
Published: (2024)
by: Nunes, Ivan De Oliveira, et al.
Published: (2024)
SoK: Runtime Integrity
by: Ammar, Mahmoud, et al.
Published: (2024)
by: Ammar, Mahmoud, et al.
Published: (2024)
Boosting Device Utilization in Control Flow Auditing
by: Lengert, Alexandra, et al.
Published: (2026)
by: Lengert, Alexandra, et al.
Published: (2026)
SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation
by: Caulfield, Adam, et al.
Published: (2024)
by: Caulfield, Adam, et al.
Published: (2024)
$π$QLB: A Privacy-preserving with Integrity-assuring Query Language for Blockchain
by: Sohrabi, Nasrin, et al.
Published: (2022)
by: Sohrabi, Nasrin, et al.
Published: (2022)
A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography
by: Rattanavipanon, Norrathep, et al.
Published: (2024)
by: Rattanavipanon, Norrathep, et al.
Published: (2024)
Efficient Control Flow Attestation by Speculating on Control Flow Path Representations
by: Tyler, Liam, et al.
Published: (2025)
by: Tyler, Liam, et al.
Published: (2025)
Resolving Availability and Run-time Integrity Conflicts in Real-Time Embedded Systems
by: Caulfield, Adam, et al.
Published: (2025)
by: Caulfield, Adam, et al.
Published: (2025)
PDRIMA: A Policy-Driven Runtime Integrity Measurement and Attestation Approach for ARM TrustZone-based TEE
by: Mao, Jingkai, et al.
Published: (2025)
by: Mao, Jingkai, et al.
Published: (2025)
TPM2.0-Supported Runtime Customizable TEE on FPGA-SoC with User-Controllable vTPM
by: Mao, Jingkai, et al.
Published: (2025)
by: Mao, Jingkai, et al.
Published: (2025)
Sealing the Audit-Runtime Gap for LLM Skills
by: Shen, Tingda, et al.
Published: (2026)
by: Shen, Tingda, et al.
Published: (2026)
A Simple Data Exfiltration Game
by: Caulfield, Tristan
Published: (2025)
by: Caulfield, Tristan
Published: (2025)
BlindexTEE: A Blind Index Approach towards TEE-supported End-to-end Encrypted DBMS
by: Vialar, Louis, et al.
Published: (2024)
by: Vialar, Louis, et al.
Published: (2024)
An Experimental Evaluation of TEE technology Evolution: Benchmarking Transparent Approaches based on SGX, SEV, and TDX
by: Coppolino, Luigi, et al.
Published: (2024)
by: Coppolino, Luigi, et al.
Published: (2024)
TEE-based Key-Value Stores: a Survey
by: Messaoud, Aghiles Ait, et al.
Published: (2025)
by: Messaoud, Aghiles Ait, et al.
Published: (2025)
Towards Browser Controls to Protect Cookies from Malicious Extensions
by: Tyler, Liam, et al.
Published: (2024)
by: Tyler, Liam, et al.
Published: (2024)
UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices
by: Tyler, Liam, et al.
Published: (2023)
by: Tyler, Liam, et al.
Published: (2023)
Securing Private Federated Learning in a Malicious Setting: A Scalable TEE-Based Approach with Client Auditing
by: Takagi, Shun, et al.
Published: (2025)
by: Takagi, Shun, et al.
Published: (2025)
GuaranTEE: Towards Attestable and Private ML with CCA
by: Siby, Sandra, et al.
Published: (2024)
by: Siby, Sandra, et al.
Published: (2024)
Aster: Fixing the Android TEE Ecosystem with Arm CCA
by: Kuhne, Mark, et al.
Published: (2024)
by: Kuhne, Mark, et al.
Published: (2024)
RaceTEE: Enabling Interoperability of Confidential Smart Contracts
by: Zhang, Keyu, et al.
Published: (2025)
by: Zhang, Keyu, et al.
Published: (2025)
TeeRollup: Efficient Rollup Design Using Heterogeneous TEE
by: Wen, Xiaoqing, et al.
Published: (2024)
by: Wen, Xiaoqing, et al.
Published: (2024)
Trusted-Execution Environment (TEE) for Solving the Replication Crisis in Academia
by: Li, Jiasun, et al.
Published: (2026)
by: Li, Jiasun, et al.
Published: (2026)
Amulet: Fast TEE-Shielded Inference for On-Device Model Protection
by: Mao, Zikai, et al.
Published: (2025)
by: Mao, Zikai, et al.
Published: (2025)
Agentic Witnessing: Pragmatic and Scalable TEE-Enabled Privacy-Preserving Auditing
by: Rowstron, Antony
Published: (2026)
by: Rowstron, Antony
Published: (2026)
MirageNet:A Secure, Efficient, and Scalable On-Device Model Protection in Heterogeneous TEE and GPU System
by: Zheng, Huadi, et al.
Published: (2026)
by: Zheng, Huadi, et al.
Published: (2026)
Styx: Collaborative and Private Data Processing With TEE-Enforced Sticky Policy
by: Zhao, Shixuan, et al.
Published: (2026)
by: Zhao, Shixuan, et al.
Published: (2026)
Verification of Lightning Network Channel Balances with Trusted Execution Environments (TEE)
by: Singh, Vikash, et al.
Published: (2025)
by: Singh, Vikash, et al.
Published: (2025)
TRUST: A Toolkit for TEE-Assisted Secure Outsourced Computation over Integers
by: Zhao, Bowen, et al.
Published: (2024)
by: Zhao, Bowen, et al.
Published: (2024)
Teamwork Makes TEE Work: Open and Resilient Remote Attestation on Decentralized Trust
by: Zhang, Xiaolin, et al.
Published: (2024)
by: Zhang, Xiaolin, et al.
Published: (2024)
CCxTrust: Confidential Computing Platform Based on TEE and TPM Collaborative Trust
by: Shang, Ketong, et al.
Published: (2024)
by: Shang, Ketong, et al.
Published: (2024)
KingsGuard: Enclave Data Protection Under Real-World TEE Vulnerabilities
by: Allaqband, Saltanat Firdous, et al.
Published: (2026)
by: Allaqband, Saltanat Firdous, et al.
Published: (2026)
TensorShield: Safeguarding On-Device Inference by Shielding Critical DNN Tensors with TEE
by: Sun, Tong, et al.
Published: (2025)
by: Sun, Tong, et al.
Published: (2025)
SPOILER: TEE-Shielded DNN Partitioning of On-Device Secure Inference with Poison Learning
by: Kang, Donghwa, et al.
Published: (2026)
by: Kang, Donghwa, et al.
Published: (2026)
An Open-source Implementation and Security Analysis of Triad's TEE Trusted Time Protocol
by: Bettinger, Matthieu, et al.
Published: (2025)
by: Bettinger, Matthieu, et al.
Published: (2025)
PAL*M: Property Attestation for Large Generative Models
by: Chantasantitam, Prach, et al.
Published: (2026)
by: Chantasantitam, Prach, et al.
Published: (2026)
Similar Items
-
Provable Execution in Real-Time Embedded Systems
by: Neto, Antonio Joia, et al.
Published: (2025) -
On the Verification of Control Flow Attestation Evidence
by: Caulfield, Adam, et al.
Published: (2024) -
Resolving Conflicts Between RTOS Timekeeping and Uninterruptable Trusted Computing
by: Neto, Antonio Joia, et al.
Published: (2026) -
Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
by: Rattanavipanon, Norrathep, et al.
Published: (2024) -
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
by: Nunes, Ivan De Oliveira, et al.
Published: (2024)