Buchumschlag

A Security Analysis of CheriBSD and Morello Linux

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Guzairov, Dariy, Potanin, Alex, Kell, Stephen, Tiu, Alwen
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System
von: Yu, Tingfeng, et al.
Veröffentlicht: (2022)

Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin
von: Li, Di Long, et al.
Veröffentlicht: (2024)

PeAR: A Static Binary Rewriting Framework for Binary-Only Fuzzing
von: Charles, Alvin, et al.
Veröffentlicht: (2026)

Secure Rewind and Discard on ARM Morello
von: Ruchlejmer, Sacha
Veröffentlicht: (2024)

Characteristics, Root Causes, and Detection of Incomplete Security Bug Fixes in the Linux Kernel
von: Liu, Qiang, et al.
Veröffentlicht: (2025)

Securing Network-Booting Linux Systems at the Example of bwLehrpool and bwForCluster NEMO
von: Moser, Simon
Veröffentlicht: (2024)

Case Study: Securing MMU-less Linux Using CHERI
von: Almatary, Hesham, et al.
Veröffentlicht: (2023)

A Static Analysis of Popular C Packages in Linux
von: Ruohonen, Jukka, et al.
Veröffentlicht: (2024)

Got Root? A Linux Priv-Esc Benchmark
von: Happe, Andreas, et al.
Veröffentlicht: (2024)

Ransomware: Analysis and Evaluation of Live Forensic Techniques and the Impact on Linux based IoT Systems
von: Korac, Salko, et al.
Veröffentlicht: (2024)

A Unified Compliance Aggregator Framework for Automated Multi-Tool Security Assessment of Linux Systems
von: Paul, Sheldon, et al.
Veröffentlicht: (2026)

Security Hardening Using FABRIC: Implementing a Unified Compliance Aggregator for Linux Servers
von: Paul, Sheldon, et al.
Veröffentlicht: (2026)

Shufflecake: Plausible Deniability for Multiple Hidden Filesystems on Linux
von: Anzuoni, Elia, et al.
Veröffentlicht: (2023)

Reproducible Builds and Insights from an Independent Verifier for Arch Linux
von: Drexel, Joshua, et al.
Veröffentlicht: (2025)

Identifying Linux Kernel Instability Due to Poor RCU Synchronization
von: Sullivan, Oisin O, et al.
Veröffentlicht: (2025)

DaemonSec: Examining the Role of Machine Learning for Daemon Security in Linux Environments
von: Farjad, Sheikh Muhammad
Veröffentlicht: (2025)

JITScanner: Just-in-Time Executable Page Check in the Linux Operating System
von: Caporaso, Pasquale, et al.
Veröffentlicht: (2024)

A Study of Malware Prevention in Linux Distributions
von: Vu, Duc-Ly, et al.
Veröffentlicht: (2024)

Comparing Security and Efficiency of WebAssembly and Linux Containers in Kubernetes Cloud Computing
von: Wiegratz, Jasper Alexander
Veröffentlicht: (2024)

Evaluating the Security of Merkle Trees in the Internet of Things: An Analysis of Data Falsification Probabilities
von: Kuznetsov, Oleksandr, et al.
Veröffentlicht: (2024)

GuardFS: a File System for Integrated Detection and Mitigation of Linux-based Ransomware
von: von der Assen, Jan, et al.
Veröffentlicht: (2024)

Compliance as Code: A Study of Linux Distributions and Beyond
von: Ruohonen, Jukka, et al.
Veröffentlicht: (2026)

Analyzing Vector Register Usage in Linux Packages to Understand Real-World Impact of Downfall Attack
von: Harata, Yohei, et al.
Veröffentlicht: (2026)

AI-Enhanced Ethical Hacking: A Linux-Focused Experiment
von: Al-Sinani, Haitham S., et al.
Veröffentlicht: (2024)

Browser Security Posture Analysis: A Client-Side Security Assessment Framework
von: Cohen, Avihay
Veröffentlicht: (2025)

Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System
von: Sherman, Alan T., et al.
Veröffentlicht: (2025)

LLMs as Hackers: Autonomous Linux Privilege Escalation Attacks
von: Happe, Andreas, et al.
Veröffentlicht: (2023)

An Investigation of Patch Porting Practices of the Linux Kernel Ecosystem
von: Li, Xingyu, et al.
Veröffentlicht: (2024)

Ransomware Detection Using Machine Learning in the Linux Kernel
von: Brodzik, Adrian, et al.
Veröffentlicht: (2024)

EDHOC is a New Security Handshake Standard: An Overview of Security Analysis
von: Pérez, Elsa López, et al.
Veröffentlicht: (2024)

Simple But Not Secure: An Empirical Security Analysis of Two-factor Authentication Systems
von: Wang, Zhi, et al.
Veröffentlicht: (2024)

Paladin: A Policy Framework for Securing Cloud APIs by Combining Application Context with Generative AI
von: Priya, Shriti, et al.
Veröffentlicht: (2026)

Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
von: Hattori, Joe, et al.
Veröffentlicht: (2026)

Sandlock: Confining AI Agent Code with Unprivileged Linux Primitives
von: Wang, Cong, et al.
Veröffentlicht: (2026)

Rethinking Provenance Completeness with a Learning-Based Linux Scheduler
von: Mao, Jinsong, et al.
Veröffentlicht: (2025)

Security Analysis of Chain-FS service
von: Teague, Vanessa, et al.
Veröffentlicht: (2025)

An Information-theoretic Security Analysis of Honeyword
von: Su, Pengcheng, et al.
Veröffentlicht: (2023)

Merkle Trees in Blockchain: A Study of Collision Probability and Security Implications
von: Kuznetsov, Oleksandr, et al.
Veröffentlicht: (2024)

BinPool: A Dataset of Vulnerabilities for Binary Security Analysis
von: Arasteh, Sima, et al.
Veröffentlicht: (2025)

Security Analysis of a Communication Protocol: MQTT
von: Venâncio, Ricardo, et al.
Veröffentlicht: (2026)