Cover Image

Resolving Conflicts Between RTOS Timekeeping and Uninterruptable Trusted Computing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Neto, Antonio Joia, Laohajirapan, Amarin, Rattanavipanon, Norrathep, Nunes, Ivan De Oliveira
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
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)

TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems
by: Caulfield, Adam, et al.
Published: (2024)

Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
by: Rattanavipanon, Norrathep, et al.
Published: (2024)

On the Verification of Control Flow Attestation Evidence
by: Caulfield, Adam, et al.
Published: (2024)

Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
by: Nunes, Ivan De Oliveira, et al.
Published: (2024)

$π$QLB: A Privacy-preserving with Integrity-assuring Query Language for Blockchain
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)

Towards Browser Controls to Protect Cookies from Malicious Extensions
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)

SoK: Runtime Integrity
by: Ammar, Mahmoud, et al.
Published: (2024)

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations
by: Tyler, Liam, et al.
Published: (2025)

SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation
by: Caulfield, Adam, et al.
Published: (2024)

Boosting Device Utilization in Control Flow Auditing
by: Lengert, Alexandra, et al.
Published: (2026)

Resolving Availability and Run-time Integrity Conflicts in Real-Time Embedded Systems
by: Caulfield, Adam, et al.
Published: (2025)

Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version)
by: Ackermann, Eric, et al.
Published: (2026)

A Confidential Computing Transparency Framework for a Comprehensive Trust Chain
by: Kocaoğullar, Ceren, et al.
Published: (2024)

Towards Quantum-Resistant Trusted Computing: Architectures for Post-Quantum Integrity Verification Techniques
by: D'Onghia, Grazia, et al.
Published: (2026)

T-Edge: Trusted Heterogeneous Edge Computing
by: Shen, Jiamin, et al.
Published: (2024)

CCxTrust: Confidential Computing Platform Based on TEE and TPM Collaborative Trust
by: Shang, Ketong, et al.
Published: (2024)

Trusted Compute Units: A Framework for Chained Verifiable Computations
by: Castillo, Fernando, et al.
Published: (2025)

Agora: Trust Less and Open More in Verification for Confidential Computing
by: Chen, Hongbo, et al.
Published: (2024)

virtCCA: Virtualized Arm Confidential Compute Architecture with TrustZone
by: Xu, Xiangyi, et al.
Published: (2023)

Zero-Trust Mobility-Aware Authentication Framework for Secure Vehicular Fog Computing Networks
by: Ahmad, Taimoor
Published: (2025)

Trusting the Cloud-Native Edge: Remotely Attested Kubernetes Workers
by: Thijsman, Jordi, et al.
Published: (2024)

Bitcoin Smart Accounts: Trust-Minimized Native Bitcoin DeFi Infrastructure
by: Lalor, Cian, et al.
Published: (2026)

Abstraction of Trusted Execution Environments as the Missing Layer for Broad Confidential Computing Adoption: A Systematization of Knowledge
by: Michaud, Quentin, et al.
Published: (2025)

The Everyday Security of Living with Conflict
by: McClearn, Jessica, et al.
Published: (2025)

Learning to Identify Conflicts in RPKI
by: Schulmann, Haya, et al.
Published: (2025)

TrustConnect: An In-Vehicle Anomaly Detection Framework through Topology-Based Trust Rating
by: Roy, Ayan, et al.
Published: (2025)

Establishing Trust in the Beyond-5G Core Network using Trusted Execution Environments
by: Vomvas, Marinos, et al.
Published: (2024)

Compliance as a Trust Metric
by: Wu, Wenbo, et al.
Published: (2026)

Architecting Trust: A Framework for Secure IoT Systems Through Trusted Execution and Semantic Middleware
by: Imran, Muhammad
Published: (2026)

On Practicality of Using ARM TrustZone Trusted Execution Environment for Securing Programmable Logic Controllers
by: Li, Zhiang, et al.
Published: (2024)

Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects
by: de Sousa, Janislley Oliveira, et al.
Published: (2024)

TNIC: A Trusted NIC Architecture
by: Giantsidi, Dimitra, et al.
Published: (2025)

Building Trust in Data for IoT Systems
by: Margaria, Davide, et al.
Published: (2024)

Never Trust the Manufacturer, Never Trust the Client: A Novel Method for Streaming STL Files for Secure Additive manufacturing
by: Asgar, Seyed Ali Ghazi, et al.
Published: (2025)

Zero Trust Cybersecurity: Procedures and Considerations in Context
by: Lund, Brady D., et al.
Published: (2025)

Building Touch-Less Trust in IoT Devices
by: Kerrison, Steve
Published: (2024)

SoK: Trusting Self-Sovereign Identity
by: Krul, Evan, et al.
Published: (2024)