Image de couverture de livre

Sockeye: a language for analyzing hardware documentation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fiedler, Ben, Gruetter, Samuel, Roscoe, Timothy
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security Operating Systems Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Security, extensibility, and redundancy in the Metabolic Operating System
par: King, Samuel T.
Publié: (2023)

Under the Hood of BlotchyQuasar: DLL-Based RAT Campaigns Against Latin America
par: Di Santo, Alessio
Publié: (2025)

Rethinking Provenance Completeness with a Learning-Based Linux Scheduler
par: Mao, Jinsong, et autres
Publié: (2025)

Tyche: Composable Isolation as a Foundation to Manage Trust in the Cloud
par: Ghosn, Adrien, et autres
Publié: (2025)

UPSS: a User-centric Private Storage System with its applications
par: Bozorgi, Arastoo, et autres
Publié: (2024)

Physical Memory Attacks and a Memory Safe Management System for Memory Defense
par: Hillel-Tuch, Alon, et autres
Publié: (2024)

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

CAEC: Confidential, Attestable, and Efficient Inter-CVM Communication with Arm CCA
par: Abdollahi, Sina, et autres
Publié: (2025)

Automatic ISA analysis for Secure Context Switching
par: Kalani, Neelu S., et autres
Publié: (2025)

To Unpack or Not to Unpack: Living with Packers to Enable Dynamic Analysis of Android Apps
par: Asghari, Mohammad Hossein, et autres
Publié: (2025)

Goldilocks Isolation: High Performance VMs with Edera
par: Moore, Marina, et autres
Publié: (2025)

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

Exploiting Page Faults for Covert Communication
par: Swaminathan, Sathvik
Publié: (2025)

NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines
par: Ishii, Reima, et autres
Publié: (2025)

pokiSEC: A Multi-Architecture, Containerized Ephemeral Malware Detonation Sandbox
par: Avina, Alejandro, et autres
Publié: (2025)

Adaptive and Efficient Dynamic Memory Management for Hardware Enclaves
par: Dhanraj, Vijay, et autres
Publié: (2025)

ZeroOS: A Universal Modular Library OS for zkVMs
par: Zou, Guangxian, et autres
Publié: (2025)

Confidential Serverless Computing
par: Sabanic, Patrick, et autres
Publié: (2025)

eBPF-PATROL: Protective Agent for Threat Recognition and Overreach Limitation using eBPF in Containerized and Virtualized Environments
par: Ghimire, Sangam, et autres
Publié: (2025)

SyzParam: Introducing Runtime Parameters into Kernel Driver Fuzzing
par: Sun, Yue, et autres
Publié: (2025)

Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
par: Beadle, Alan, et autres
Publié: (2025)

Analysis of Security in OS-Level Virtualization
par: Ketha, Krishna Sai, et autres
Publié: (2025)

Sharing is caring: Attestable and Trusted Workflows out of Distrustful Components
par: Sadi, Amir Al, et autres
Publié: (2026)

WebAssembly Based Portable and Secure Sensor Interface for Internet of Things
par: Ou, Botong, et autres
Publié: (2026)

Contextualizing Security and Privacy of Software-Defined Vehicles: A Literature Review and Industry Perspectives
par: De Vincenzi, Marco, et autres
Publié: (2024)

Securing Monolithic Kernels using Compartmentalization
par: Lim, Soo Yee, et autres
Publié: (2024)

SoK: Software Compartmentalization
par: Lefeuvre, Hugo, et autres
Publié: (2024)

B-Side: Binary-Level Static System Call Identification
par: Thévenon, Gaspard, et autres
Publié: (2024)

BULKHEAD: Secure, Scalable, and Efficient Kernel Compartmentalization with PKS
par: Guo, Yinggang, et autres
Publié: (2024)

The Android Platform Security Model (2023)
par: Mayrhofer, René, et autres
Publié: (2019)

Case Study: Securing MMU-less Linux Using CHERI
par: Almatary, Hesham, et autres
Publié: (2023)

Retrofitting XoM for Stripped Binaries without Embedded Data Relocation
par: Luo, Chenke, et autres
Publié: (2024)

The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches
par: Zhang, Chuqi, et autres
Publié: (2024)

Beyond Control: Exploring Novel File System Objects for Data-Only Attacks on Linux Systems
par: Zhou, Jinmeng, et autres
Publié: (2024)

Sync+Sync: A Covert Channel Built on fsync with Storage
par: Jiang, Qisheng, et autres
Publié: (2023)

CRISP: Confidentiality, Rollback, and Integrity Storage Protection for Confidential Cloud-Native Computing
par: Hartono, Ardhi Putra Pratama, et autres
Publié: (2024)

AgenTEE: Confidential LLM Agent Execution on Edge Devices
par: Abdollahi, Sina, et autres
Publié: (2026)

Sandlock: Confining AI Agent Code with Unprivileged Linux Primitives
par: Wang, Cong, et autres
Publié: (2026)

Fight Hardware with Hardware: System-wide Detection and Mitigation of Side-Channel Attacks using Performance Counters
par: Carnà, Stefano, et autres
Publié: (2024)

OAMAC: Origin-Aware Mandatory Access Control for Practical Post-Compromise Attack Surface Reduction
par: Mohammed, Omer Abdelmajeed Idris, et autres
Publié: (2026)