Biting the CHERI bullet: Blockers, Enablers and Security Implications of CHERI in Defence

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Faily, Shamal
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Hardware Architecture Operating Systems
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PoisonCap: Efficient Hierarchical Temporal Safety for CHERI
von: Wang, Yuecheng, et al.
Veröffentlicht: (2026)

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

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

Not quite a piece of CHERI-cake: Are new digital security by design architectures usable?
von: Alhindi, Maysara, et al.
Veröffentlicht: (2025)

Hazel: Secure and Efficient Disaggregated Storage
von: Chrapek, Marcin, et al.
Veröffentlicht: (2025)

Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version)
von: Ackermann, Eric, et al.
Veröffentlicht: (2026)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
von: Antón, Anna Lena Duque, et al.
Veröffentlicht: (2024)

Security Enclave Architecture for Heterogeneous Security Primitives for Supply-Chain Attacks
von: Raj, Kshitij, et al.
Veröffentlicht: (2025)

High-Security Hardware Module with PUF and Hybrid Cryptography for Data Security
von: Amael, Joshua Tito, et al.
Veröffentlicht: (2024)

Secure Scattered Memory: Rethinking Secure Enclave Memory with Secret Sharing
von: Geng, Haoran, et al.
Veröffentlicht: (2024)

Supporting Secured Integration of Microarchitectural Defenses
von: Ramkrishnan, Kartik, et al.
Veröffentlicht: (2026)

Formal Verification of Secure Encrypted Virtualization
von: Weerasena, Hansika, et al.
Veröffentlicht: (2026)

Security Properties for Open-Source Hardware Designs
von: Rogers, Jayden, et al.
Veröffentlicht: (2024)

Modern Hardware Security: A Review of Attacks and Countermeasures
von: Mishra, Jyotiprakash, et al.
Veröffentlicht: (2025)

New Security Challenges Towards In-Sensor Computing Systems
von: Kajol, Mashrafi, et al.
Veröffentlicht: (2025)

REDACTOR: eFPGA Redaction for DNN Accelerator Security
von: Baddour, Yazan, et al.
Veröffentlicht: (2025)

GPU in the Blind Spot: Overlooked Security Risks in Transportation
von: Puspa, Sefatun-Noor, et al.
Veröffentlicht: (2025)

On the Importance of Reproducibility of Experimental Results Especially in the Domain of Security
von: Petryk, Dmytro, et al.
Veröffentlicht: (2024)

Efficient and Lightweight In-memory Computing Architecture for Hardware Security
von: Ajmi, Hala, et al.
Veröffentlicht: (2022)

CIBPU: A Conflict-Invisible Secure Branch Prediction Unit
von: Zhou, Zhe, et al.
Veröffentlicht: (2025)

PoSyn: Secure Power Side-Channel Aware Synthesis
von: Srivastava, Amisha, et al.
Veröffentlicht: (2025)

FAME: FPGA Acceleration of Secure Matrix Multiplication with Homomorphic Encryption
von: Xu, Zhihan, et al.
Veröffentlicht: (2025)

The Avatar Cache: Enabling On-Demand Security with Morphable Cache Architecture
von: Bhatla, Anubhav, et al.
Veröffentlicht: (2026)

MINT: Securely Mitigating Rowhammer with a Minimalist In-DRAM Tracker
von: Qureshi, Moinuddin, et al.
Veröffentlicht: (2024)

Secure Software/Hardware Hybrid In-Field Testing for System-on-Chip
von: Mulhem, Saleh, et al.
Veröffentlicht: (2024)

Fastrack: Fast IO for Secure ML using GPU TEEs
von: Wang, Yongqin, et al.
Veröffentlicht: (2024)

MOAT: Securely Mitigating Rowhammer with Per-Row Activation Counters
von: Qureshi, Moinuddin, et al.
Veröffentlicht: (2024)

AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
von: Fu, Bo, et al.
Veröffentlicht: (2025)

ShadowBinding: Realizing Effective Microarchitectures for In-Core Secure Speculation Schemes
von: Kvalsvik, Amund Bergland, et al.
Veröffentlicht: (2025)

RISC-V Needs Secure 'Wheels': the MCU Initiator-Side Perspective
von: Pinto, Sandro, et al.
Veröffentlicht: (2024)

SecScale: A Scalable and Secure Trusted Execution Environment for Servers
von: Sunny, Ani, et al.
Veröffentlicht: (2024)

Chronus: Understanding and Securing the Cutting-Edge Industry Solutions to DRAM Read Disturbance
von: Canpolat, Oğuzhan, et al.
Veröffentlicht: (2025)

"vcd2df" -- Leveraging Data Science Insights for Hardware Security Research
von: Deutschbein, Calvin, et al.
Veröffentlicht: (2025)

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
von: Zhang, Zhuoruo, et al.
Veröffentlicht: (2022)

Understanding the Security Benefits and Overheads of Emerging Industry Solutions to DRAM Read Disturbance
von: Canpolat, Oğuzhan, et al.
Veröffentlicht: (2024)

BOLT: Bandwidth-Optimized Lightning-Fast Oblivious Map powered by Secure HBM Accelerators
von: Guo, Yitong, et al.
Veröffentlicht: (2025)

RTL-Breaker: Assessing the Security of LLMs against Backdoor Attacks on HDL Code Generation
von: Mankali, Lakshmi Likhitha, et al.
Veröffentlicht: (2024)

SAILOR: A Scalable and Energy-Efficient Ultra-Lightweight RISC-V for IoT Security
von: Ewert, Christian, et al.
Veröffentlicht: (2026)

Secure Authentication in Wireless IoT: Hamming Code Assisted SRAM PUF as Device Fingerprint
von: Lehn, Florian, et al.
Veröffentlicht: (2026)

An FPGA-Based Open-Source Hardware-Software Framework for Side-Channel Security Research
von: Zoni, Davide, et al.
Veröffentlicht: (2024)