Copertina

Automatic ISA analysis for Secure Context Switching

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kalani, Neelu S., Bourgeat, Thomas, Hunt, Guerney D. H., Ozga, Wojciech
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Operating Systems Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Tyche: Composable Isolation as a Foundation to Manage Trust in the Cloud
di: Ghosn, Adrien, et al.
Pubblicazione: (2025)

Securing Monolithic Kernels using Compartmentalization
di: Lim, Soo Yee, et al.
Pubblicazione: (2024)

Securing Cloud File Systems with Trusted Execution
di: Burke, Quinn, et al.
Pubblicazione: (2023)

The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches
di: Zhang, Chuqi, et al.
Pubblicazione: (2024)

Analysis of Security in OS-Level Virtualization
di: Ketha, Krishna Sai, et al.
Pubblicazione: (2025)

The Android Platform Security Model (2023)
di: Mayrhofer, René, et al.
Pubblicazione: (2019)

Security, extensibility, and redundancy in the Metabolic Operating System
di: King, Samuel T.
Pubblicazione: (2023)

Contextualizing Security and Privacy of Software-Defined Vehicles: A Literature Review and Industry Perspectives
di: De Vincenzi, Marco, et al.
Pubblicazione: (2024)

BULKHEAD: Secure, Scalable, and Efficient Kernel Compartmentalization with PKS
di: Guo, Yinggang, et al.
Pubblicazione: (2024)

Evolution of Android's Permission-based Security Model and Challenges
di: Solanki, Rajendra Kumar, et al.
Pubblicazione: (2026)

Tock: From Research to Securing 10 Million Computers
di: Schuermann, Leon, et al.
Pubblicazione: (2026)

Case Study: Securing MMU-less Linux Using CHERI
di: Almatary, Hesham, et al.
Pubblicazione: (2023)

WebAssembly Based Portable and Secure Sensor Interface for Internet of Things
di: Ou, Botong, et al.
Pubblicazione: (2026)

Secure and Efficient Access Control for Computer-Use Agents via Context Space
di: Gong, Haochen, et al.
Pubblicazione: (2025)

SafeBPF: Hardware-assisted Defense-in-depth for eBPF Kernel Extensions
di: Lim, Soo Yee, et al.
Pubblicazione: (2024)

ZeroOS: A Universal Modular Library OS for zkVMs
di: Zou, Guangxian, et al.
Pubblicazione: (2025)

Adaptive and Efficient Dynamic Memory Management for Hardware Enclaves
di: Dhanraj, Vijay, et al.
Pubblicazione: (2025)

Threadbox: Sandboxing for Modular Security
di: Alhindi, Maysara, et al.
Pubblicazione: (2025)

Biting the CHERI bullet: Blockers, Enablers and Security Implications of CHERI in Defence
di: Faily, Shamal
Pubblicazione: (2025)

Rethinking Provenance Completeness with a Learning-Based Linux Scheduler
di: Mao, Jinsong, et al.
Pubblicazione: (2025)

Plug. Play. Persist. Inside a Ready-to-Go Havoc C2 Infrastructure
di: Di Santo, Alessio
Pubblicazione: (2025)

CAEC: Confidential, Attestable, and Efficient Inter-CVM Communication with Arm CCA
di: Abdollahi, Sina, et al.
Pubblicazione: (2025)

To Unpack or Not to Unpack: Living with Packers to Enable Dynamic Analysis of Android Apps
di: Asghari, Mohammad Hossein, et al.
Pubblicazione: (2025)

Goldilocks Isolation: High Performance VMs with Edera
di: Moore, Marina, et al.
Pubblicazione: (2025)

Lazarus Group Targets Crypto-Wallets and Financial Data while employing new Tradecrafts
di: Di Santo, Alessio
Pubblicazione: (2025)

Exploiting Page Faults for Covert Communication
di: Swaminathan, Sathvik
Pubblicazione: (2025)

NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines
di: Ishii, Reima, et al.
Pubblicazione: (2025)

pokiSEC: A Multi-Architecture, Containerized Ephemeral Malware Detonation Sandbox
di: Avina, Alejandro, et al.
Pubblicazione: (2025)

Confidential Serverless Computing
di: Sabanic, Patrick, et al.
Pubblicazione: (2025)

eBPF-PATROL: Protective Agent for Threat Recognition and Overreach Limitation using eBPF in Containerized and Virtualized Environments
di: Ghimire, Sangam, et al.
Pubblicazione: (2025)

SyzParam: Introducing Runtime Parameters into Kernel Driver Fuzzing
di: Sun, Yue, et al.
Pubblicazione: (2025)

Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
di: Beadle, Alan, et al.
Pubblicazione: (2025)

Sharing is caring: Attestable and Trusted Workflows out of Distrustful Components
di: Sadi, Amir Al, et al.
Pubblicazione: (2026)

SoK: Software Compartmentalization
di: Lefeuvre, Hugo, et al.
Pubblicazione: (2024)

B-Side: Binary-Level Static System Call Identification
di: Thévenon, Gaspard, et al.
Pubblicazione: (2024)

UPSS: a User-centric Private Storage System with its applications
di: Bozorgi, Arastoo, et al.
Pubblicazione: (2024)

Retrofitting XoM for Stripped Binaries without Embedded Data Relocation
di: Luo, Chenke, et al.
Pubblicazione: (2024)

Beyond Control: Exploring Novel File System Objects for Data-Only Attacks on Linux Systems
di: Zhou, Jinmeng, et al.
Pubblicazione: (2024)

Sync+Sync: A Covert Channel Built on fsync with Storage
di: Jiang, Qisheng, et al.
Pubblicazione: (2023)

CRISP: Confidentiality, Rollback, and Integrity Storage Protection for Confidential Cloud-Native Computing
di: Hartono, Ardhi Putra Pratama, et al.
Pubblicazione: (2024)