Cover Image

Resolving Availability and Run-time Integrity Conflicts in Real-Time Embedded Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Caulfield, Adam, Kamran, Muhammad Wasif, Asokan, N.
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

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

PAL*M: Property Attestation for Large Generative Models
by: Chantasantitam, Prach, et al.
Published: (2026)

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

Combining Machine Learning Defenses without Conflicts
by: Duddu, Vasisht, et al.
Published: (2024)

A Simple Data Exfiltration Game
by: Caulfield, Tristan
Published: (2025)

Provable Execution in Real-Time Embedded Systems
by: Neto, Antonio Joia, et al.
Published: (2025)

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

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

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

S2malloc: Statistically Secure Allocator for Use-After-Free Protection And More
by: Wang, Ruizhe, et al.
Published: (2024)

SeMalloc: Semantics-Informed Memory Allocator
by: Wang, Ruizhe, et al.
Published: (2024)

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

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

CacheSquash: Making caches speculation-aware
by: ElAtali, Hossam, et al.
Published: (2024)

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

BLACKOUT: Data-Oblivious Computation with Blinded Capabilities
by: ElAtali, Hossam, et al.
Published: (2025)

Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations
by: Duddu, Vasisht, et al.
Published: (2024)

Locket: Robust Feature-Locking Technique for Language Models
by: He, Lipeng, et al.
Published: (2025)

Is GitHub's Copilot as Bad as Humans at Introducing Vulnerabilities in Code?
by: Asare, Owura, et al.
Published: (2022)

A User-centered Security Evaluation of Copilot
by: Asare, Owura, et al.
Published: (2023)

SoK: Unintended Interactions among Machine Learning Defenses and Risks
by: Duddu, Vasisht, et al.
Published: (2023)

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)

Enhancing Cyber Security Through Predictive Analytics: Real-Time Threat Detection and Response
by: Danish, Muhammad
Published: (2024)

Measuring the Availability and Response Times of Public Encrypted DNS Resolvers
by: Sharma, Ranya, et al.
Published: (2022)

Smart Medical IoT Security Vulnerabilities: Real-Time MITM Attack Analysis, Lightweight Encryption Implementation, and Practitioner Perceptions in Underdeveloped Nigerian Healthcare Systems
by: Auwal, Aminu Muhammad
Published: (2025)

Fingerprinting of Machines in Critical Systems for Integrity Monitoring and Verification
by: Paliwal, Prakhar, et al.
Published: (2024)

BliMe Linter
by: ElAtali, Hossam, et al.
Published: (2024)

Data-Oblivious ML Accelerators using Hardware Security Extensions
by: ElAtali, Hossam, et al.
Published: (2024)

The Spectre of Surveillance and Censorship in Future Internet Architectures
by: Wrana, Michael, et al.
Published: (2024)

Attack as Defense: Run-time Backdoor Implantation for Image Content Protection
by: Zhang, Haichuan, et al.
Published: (2024)

Real-time ML-based Defense Against Malicious Payload in Reconfigurable Embedded Systems
by: Stahle-Smith, Rye, et al.
Published: (2025)

BASICS: Binary Analysis and Stack Integrity Checker System for Buffer Overflow Mitigation
by: Ferreirinha, Luis, et al.
Published: (2025)

Decentralized Firmware Integrity Verification for Cyber-Physical Systems Using Ethereum Blockchain
by: Hossain, S M Mostaq, et al.
Published: (2026)

Extracting Training Data from Diffusion Language Models via Infilling
by: Wang, Yihan, et al.
Published: (2026)

Efficient Storage Integrity in Adversarial Settings
by: Burke, Quinn, et al.
Published: (2025)

Securing UAV Communication: Authentication and Integrity
by: Ouadah, Meriem, et al.
Published: (2024)

TRICK: Time and Range Integrity ChecK using Low Earth Orbiting Satellite for Securing GNSS
by: Mumtaz, Arslan, et al.
Published: (2025)

Co-designing heterogeneous models: a distributed systems approach
by: Ilau, Marius-Constantin, et al.
Published: (2024)

PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities
by: Gülmez, Merve, et al.
Published: (2026)