Buchumschlag

Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ackermann, Eric, Bugiel, Sven
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security Hardware Architecture Operating Systems B.4.3; D.4.6
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Optimized Memory Tagging on AmpereOne Processors
von: Kaushik, Shivnandan, et al.
Veröffentlicht: (2025)

Pomegranate: A Lightweight Compartmentalization Architecture using Virtualization Extensions
von: Raja, Shriram, et al.
Veröffentlicht: (2026)

A Comprehensive Quantification of Inconsistencies in Memory Dumps
von: Oliveri, Andrea, et al.
Veröffentlicht: (2025)

LEMIX: Enabling Testing of Embedded Applications as Linux Applications (Extended Report)
von: Tanksalkar, Sai Ritvik, et al.
Veröffentlicht: (2025)

ARM MTE Performance in Practice (Extended Version)
von: Noh, Taehyun, et al.
Veröffentlicht: (2026)

Hardening the OSv Unikernel with Efficient Address Randomization: Design and Performance Evaluation
von: Wollman, Alex, et al.
Veröffentlicht: (2026)

Improved Leakage Abuse Attacks in Searchable Symmetric Encryption with eBPF Monitoring
von: Dimobi, Chinecherem
Veröffentlicht: (2026)

Beyond Edge Coverage: Per-Task Data-Flow Extraction at Kernel Function Boundaries via LLVM
von: Kim, Yunseong
Veröffentlicht: (2026)

A Secure, Manifest-Based Framework for Delegated Privilege Promotion
von: Chowdhury, Rajarshi, et al.
Veröffentlicht: (2026)

A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification
von: Condrey, David
Veröffentlicht: (2026)

Evaluating an Effective Ransomware Infection Vector in Low Earth Orbit Satellites
von: Donchev, Marin, et al.
Veröffentlicht: (2024)

Verifying Device Drivers with Pancake
von: Zhao, Junming, et al.
Veröffentlicht: (2025)

VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
von: Gerhorst, Luis, et al.
Veröffentlicht: (2024)

Secure IAM on AWS with Multi-Account Strategy
von: Yi, Sungchan
Veröffentlicht: (2025)

RX-INT: A Kernel Engine for Real-Time Detection and Analysis of In-Memory Threats
von: Juneja, Arjun
Veröffentlicht: (2025)

Biting the CHERI bullet: Blockers, Enablers and Security Implications of CHERI in Defence
von: Faily, Shamal
Veröffentlicht: (2025)

A Survey of Unikernel Security: Insights and Trends from a Quantitative Analysis
von: Wollman, Alex, et al.
Veröffentlicht: (2024)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
von: Kim, Hyunwoo, et al.
Veröffentlicht: (2025)

Decentralized COVID-19 Health System Leveraging Blockchain
von: Chen, Lingsheng, et al.
Veröffentlicht: (2025)

VIC: Evasive Video Game Cheating via Virtual Machine Introspection
von: Karkallis, Panicos, et al.
Veröffentlicht: (2025)

SETC: A Vulnerability Telemetry Collection Framework
von: Holeman, Ryan, et al.
Veröffentlicht: (2024)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
von: Li, Xiaoqi, et al.
Veröffentlicht: (2026)

ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
von: Amusuo, Paschal C., et al.
Veröffentlicht: (2023)

Rhea: Detecting Privilege-Escalated Evasive Ransomware Attacks Using Format-Aware Validation in the Cloud
von: Kim, Beom Heyn, et al.
Veröffentlicht: (2026)

Post-quantum Federated Learning: Secure And Scalable Threat Intelligence For Collaborative Cyber Defense
von: Nayak, Prabhudarshi, et al.
Veröffentlicht: (2026)

A Flower-Inspired Solution for Computer Memory Wear-Leveling
von: Shen, Elizabeth, et al.
Veröffentlicht: (2025)

On the Impossibility of a Perfect Hypervisor
von: Guri, Mordechai
Veröffentlicht: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
von: Garcia, Rémi, et al.
Veröffentlicht: (2024)

AI-Driven Security Alert Screening and Alert Fatigue Mitigation in Security Operations Centers: A Survey
von: Ndichu, Samuel, et al.
Veröffentlicht: (2026)

Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
von: Yang, Haowei
Veröffentlicht: (2024)

Paths Not Taken: A Secure Computing Tutorial
von: Boebert, William Earl
Veröffentlicht: (2025)

SecureBank: A Financially-Aware Zero Trust Architecture for High-Assurance Banking Systems
von: Biao, Paulo Fernandes
Veröffentlicht: (2025)

Right to History: A Sovereignty Kernel for Verifiable AI Agent Execution
von: Zhang, Jing
Veröffentlicht: (2026)

Cross-Border Data Security and Privacy Risks in Large Language Models and IoT Systems
von: Handapangoda, Chalitha
Veröffentlicht: (2026)

Device Context Protocol: A Compact, Safety-First Architecture for LLM-Driven Control of Constrained Devices
von: Yang, Dongxu
Veröffentlicht: (2026)

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2025)

Revelator: Rapid Data Fetching via OS-Driven Hash-based Speculative Address Translation
von: Kanellopoulos, Konstantinos, et al.
Veröffentlicht: (2025)

ARMOUR US: Android Runtime Zero-permission Sensor Usage Monitoring from User Space
von: Long, Yan, et al.
Veröffentlicht: (2025)

Memory Forensics Techniques for Automated Detection and Analysis of Go Malware
von: Ali, Hala, et al.
Veröffentlicht: (2026)

The Discovery, Disclosure, and Investigation of CVE-2024-25825
von: Chasens, Hunter
Veröffentlicht: (2025)