Mon CHÉRI: Mitigating Uninitialized Memory Access with Conditional Capabilities
Fuente:
arXiv
Salvato in:
| Autori principali: | Gülmez, Merve, Englund, Håkan, Mühlberg, Jan Tobias, Nyman, Thomas |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities
di: Gülmez, Merve, et al.
Pubblicazione: (2026)
di: Gülmez, Merve, et al.
Pubblicazione: (2026)
Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
di: Gülmez, Merve, et al.
Pubblicazione: (2023)
di: Gülmez, Merve, et al.
Pubblicazione: (2023)
Do we still need canaries in the coal mine? Measuring shadow stack effectiveness in countering stack smashing
di: Depuydt, Hugo, et al.
Pubblicazione: (2024)
di: Depuydt, Hugo, et al.
Pubblicazione: (2024)
BLACKOUT: Data-Oblivious Computation with Blinded Capabilities
di: ElAtali, Hossam, et al.
Pubblicazione: (2025)
di: ElAtali, Hossam, et al.
Pubblicazione: (2025)
SandCell: Sandboxing Rust Beyond Unsafe Code
di: Zhang, Jialun, et al.
Pubblicazione: (2025)
di: Zhang, Jialun, et al.
Pubblicazione: (2025)
Whispering Pixels: Exploiting Uninitialized Register Accesses in Modern GPUs
di: Pustelnik, Frederik Dermot, et al.
Pubblicazione: (2024)
di: Pustelnik, Frederik Dermot, et al.
Pubblicazione: (2024)
VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
di: Antón, Anna Lena Duque, et al.
Pubblicazione: (2024)
di: Antón, Anna Lena Duque, et al.
Pubblicazione: (2024)
Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors
di: Austa, Cédrick, et al.
Pubblicazione: (2025)
di: Austa, Cédrick, et al.
Pubblicazione: (2025)
Biting the CHERI bullet: Blockers, Enablers and Security Implications of CHERI in Defence
di: Faily, Shamal
Pubblicazione: (2025)
di: Faily, Shamal
Pubblicazione: (2025)
Exploring Privacy and Security as Drivers for Environmental Sustainability in Cloud-Based Office Solutions
di: Kayembe, Jason, et al.
Pubblicazione: (2025)
di: Kayembe, Jason, et al.
Pubblicazione: (2025)
PoisonCap: Efficient Hierarchical Temporal Safety for CHERI
di: Wang, Yuecheng, et al.
Pubblicazione: (2026)
di: Wang, Yuecheng, et al.
Pubblicazione: (2026)
Enabling Security on the Edge: A CHERI Compartmentalized Network Stack
di: Ferraro, Donato, et al.
Pubblicazione: (2025)
di: Ferraro, Donato, et al.
Pubblicazione: (2025)
Case Study: Securing MMU-less Linux Using CHERI
di: Almatary, Hesham, et al.
Pubblicazione: (2023)
di: Almatary, Hesham, et al.
Pubblicazione: (2023)
Zebrafix: Mitigating Memory-Centric Side-Channel Leakage via Interleaving
di: Pätschke, Anna, et al.
Pubblicazione: (2025)
di: Pätschke, Anna, et al.
Pubblicazione: (2025)
SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
di: Morio, Kevin, et al.
Pubblicazione: (2024)
di: Morio, Kevin, et al.
Pubblicazione: (2024)
Capability-Based Multi-Tenant Access Management in Crowdsourced Drone Services
di: Akram, Junaid, et al.
Pubblicazione: (2025)
di: Akram, Junaid, et al.
Pubblicazione: (2025)
An Open-RAN Testbed for Detecting and Mitigating Radio-Access Anomalies
di: Bogucka, Hanna, et al.
Pubblicazione: (2025)
di: Bogucka, Hanna, et al.
Pubblicazione: (2025)
Not quite a piece of CHERI-cake: Are new digital security by design architectures usable?
di: Alhindi, Maysara, et al.
Pubblicazione: (2025)
di: Alhindi, Maysara, et al.
Pubblicazione: (2025)
Obelix: Mitigating Side-Channels Through Dynamic Obfuscation
di: Wichelmann, Jan, et al.
Pubblicazione: (2025)
di: Wichelmann, Jan, et al.
Pubblicazione: (2025)
Mitigating and Analysis of Memory Usage Attack in IoE System
di: Alwaisi, Zainab, et al.
Pubblicazione: (2024)
di: Alwaisi, Zainab, et al.
Pubblicazione: (2024)
FRAMER/Miu: Tagged Pointer-based Capability and Fundamental Cost of Memory Safety & Coherence (Position Paper)
di: Nam, Myoung Jin
Pubblicazione: (2024)
di: Nam, Myoung Jin
Pubblicazione: (2024)
interID -- An Ecosystem-agnostic Verifier-as-a-Service with OpenID Connect Bridge
di: Yildiz, Hakan, et al.
Pubblicazione: (2026)
di: Yildiz, Hakan, et al.
Pubblicazione: (2026)
Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust
di: Zhou, Jie, et al.
Pubblicazione: (2023)
di: Zhou, Jie, et al.
Pubblicazione: (2023)
SPOILER-GUARD: Gating Latency Effects of Memory Accesses through Randomized Dependency Prediction
di: Subramanian, Gayathri, et al.
Pubblicazione: (2026)
di: Subramanian, Gayathri, et al.
Pubblicazione: (2026)
Explainable Android Malware Detection and Malicious Code Localization Using Graph Attention
di: Ipek, Merve Cigdem, et al.
Pubblicazione: (2025)
di: Ipek, Merve Cigdem, et al.
Pubblicazione: (2025)
Scalable and Secure Row-Swap: Efficient and Safe Row Hammer Mitigation in Memory Systems
di: Woo, Jeonghyun, et al.
Pubblicazione: (2022)
di: Woo, Jeonghyun, et al.
Pubblicazione: (2022)
Using Preformed Resistive Random Access Memory to Create a Strong Physically Unclonable Function
di: Garrard, Jack, et al.
Pubblicazione: (2025)
di: Garrard, Jack, et al.
Pubblicazione: (2025)
Sparse Autoencoders are Capable LLM Jailbreak Mitigators
di: Assogba, Yannick, et al.
Pubblicazione: (2026)
di: Assogba, Yannick, et al.
Pubblicazione: (2026)
Building a Robust Risk-Based Access Control System to Combat Ransomware's Capability to Encrypt
di: Begovic, Kenan, et al.
Pubblicazione: (2026)
di: Begovic, Kenan, et al.
Pubblicazione: (2026)
Memory-Based Malware Detection under Limited Data Conditions: A Comparative Evaluation of TabPFN and Ensemble Models
di: Leroy, Valentin, et al.
Pubblicazione: (2026)
di: Leroy, Valentin, et al.
Pubblicazione: (2026)
GuardFS: a File System for Integrated Detection and Mitigation of Linux-based Ransomware
di: von der Assen, Jan, et al.
Pubblicazione: (2024)
di: von der Assen, Jan, et al.
Pubblicazione: (2024)
Characterizing Phishing Pages by JavaScript Capabilities
di: Nahapetyan, Aleksandr, et al.
Pubblicazione: (2025)
di: Nahapetyan, Aleksandr, et al.
Pubblicazione: (2025)
Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments
di: Schmitz, Philipp, et al.
Pubblicazione: (2023)
di: Schmitz, Philipp, et al.
Pubblicazione: (2023)
An Extended Consent-Based Access Control Framework: Pre-Commit Validation and Emergency Access
di: Muslim, Nasif, et al.
Pubblicazione: (2026)
di: Muslim, Nasif, et al.
Pubblicazione: (2026)
SpanKey: Dynamic Key Space Conditioning for Neural Network Access Control
di: Yan, WenBin
Pubblicazione: (2026)
di: Yan, WenBin
Pubblicazione: (2026)
Towards Centralized Orchestration of Cyber Protection Condition (CPCON)
di: Timmons, Mark, et al.
Pubblicazione: (2025)
di: Timmons, Mark, et al.
Pubblicazione: (2025)
A Novel Framework To Assess Cybersecurity Capability Maturity
di: Liyanage, Lasini, et al.
Pubblicazione: (2025)
di: Liyanage, Lasini, et al.
Pubblicazione: (2025)
AICrypto: Evaluating Cryptography Capabilities of Large Language Models
di: Wang, Yu, et al.
Pubblicazione: (2025)
di: Wang, Yu, et al.
Pubblicazione: (2025)
Access control for Data Spaces
di: Fotiou, Nikos, et al.
Pubblicazione: (2025)
di: Fotiou, Nikos, et al.
Pubblicazione: (2025)
Path-wise Vulnerability Mitigation
di: Huang, Zhen, et al.
Pubblicazione: (2024)
di: Huang, Zhen, et al.
Pubblicazione: (2024)
Documenti analoghi
-
PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities
di: Gülmez, Merve, et al.
Pubblicazione: (2026) -
Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
di: Gülmez, Merve, et al.
Pubblicazione: (2023) -
Do we still need canaries in the coal mine? Measuring shadow stack effectiveness in countering stack smashing
di: Depuydt, Hugo, et al.
Pubblicazione: (2024) -
BLACKOUT: Data-Oblivious Computation with Blinded Capabilities
di: ElAtali, Hossam, et al.
Pubblicazione: (2025) -
SandCell: Sandboxing Rust Beyond Unsafe Code
di: Zhang, Jialun, et al.
Pubblicazione: (2025)