Cover Image

Provable Execution in Real-Time Embedded Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Neto, Antonio Joia, Rattanavipanon, Norrathep, Nunes, Ivan De Oliveira
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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)

Resolving Conflicts Between RTOS Timekeeping and Uninterruptable Trusted Computing
by: Neto, Antonio Joia, et al.
Published: (2026)

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)

A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography
by: Rattanavipanon, Norrathep, et al.
Published: (2024)

$π$QLB: A Privacy-preserving with Integrity-assuring Query Language for Blockchain
by: Sohrabi, Nasrin, et al.
Published: (2022)

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)

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

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

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

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)

JITScanner: Just-in-Time Executable Page Check in the Linux Operating System
by: Caporaso, Pasquale, et al.
Published: (2024)

ML-Enhanced AES Anomaly Detection for Real-Time Embedded Security
by: Chinnasami, Nishant, et al.
Published: (2025)

AutoPatch: Automated Generation of Hotpatches for Real-Time Embedded Devices
by: Salehi, Mohsen, et al.
Published: (2024)

On Abnormal Execution Timing of Conditional Jump Instructions
by: Wilde, Annika, et al.
Published: (2026)

TimeTravel: Real-time Timing Drift Attack on System Time Using Acoustic Waves
by: Liu, Jianshuo, et al.
Published: (2024)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
by: Tudorache, Leonard, et al.
Published: (2026)

Sovereign Agentic Loops: Decoupling AI Reasoning from Execution in Real-World Systems
by: He, Jun, et al.
Published: (2026)

Provably Secure Steganography Based on List Decoding
by: Pang, Kaiyi, et al.
Published: (2026)

A Real-Time, Self-Tuning Moderator Framework for Adversarial Prompt Detection
by: Zhang, Ivan
Published: (2025)

Plug-and-Hide: Provable and Adjustable Diffusion Generative Steganography
by: Zhu, Jiahao, et al.
Published: (2024)

Provably Robust and Secure Steganography in Asymmetric Resource Scenario
by: Bai, Minhao, et al.
Published: (2024)

SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution
by: Tharindu, Dakshina, et al.
Published: (2026)

ROFBS$α$: Real Time Backup System Decoupled from ML Based Ransomware Detection
by: Higuchi, Kosuke, et al.
Published: (2025)

Real-Time Multi-Modal Subcomponent-Level Measurements for Trustworthy System Monitoring and Malware Detection
by: Khorrami, Farshad, et al.
Published: (2025)

PARIS: A Practical, Adaptive Trace-Fetching and Real-Time Malicious Behavior Detection System
by: Wang, Jian, et al.
Published: (2024)

ECG-PPS: Privacy Preserving Disease Diagnosis and Monitoring System for Real-Time ECG Signal
by: Yuksel, Beyazit Bestami, et al.
Published: (2024)

Attestable Builds: Compiling Verifiable Binaries on Untrusted Systems using Trusted Execution Environments
by: Hugenroth, Daniel, et al.
Published: (2025)

Beyond Algorithmic Proofs: Towards Implementation-Level Provable Security
by: Shang, Jiahui, et al.
Published: (2025)

Towards Provably Secure Generative AI: Reliable Consensus Sampling
by: Cui, Yu, et al.
Published: (2025)

Efficient Byzantine-Robust and Provably Privacy-Preserving Federated Learning
by: Nie, Chenfei, et al.
Published: (2024)

Provably Robust Multi-bit Watermarking for AI-generated Text
by: Qu, Wenjie, et al.
Published: (2024)

Disassembling Obfuscated Executables with LLM
by: Rong, Huanyao, et al.
Published: (2024)

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

SparSamp: Efficient Provably Secure Steganography Based on Sparse Sampling
by: Wang, Yaofei, et al.
Published: (2025)

Provably Secure Covert Messaging Using Image-based Diffusion Processes
by: Bauer, Luke A., et al.
Published: (2025)

STEAD: Robust Provably Secure Linguistic Steganography with Diffusion Language Model
by: Qi, Yuang, et al.
Published: (2026)