Buchumschlag

Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhou, Jie, Sun, Mingshen, Criswell, John
Format:	Preprint
Veröffentlicht:	2023
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

Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
von: Paaßen, David, et al.
Veröffentlicht: (2025)

Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
von: Gülmez, Merve, et al.
Veröffentlicht: (2023)

DeTRAP: RISC-V Return Address Protection With Debug Triggers
von: Richter, Isaac, et al.
Veröffentlicht: (2024)

SandCell: Sandboxing Rust Beyond Unsafe Code
von: Zhang, Jialun, et al.
Veröffentlicht: (2025)

LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation
von: Xia, Tianrou, et al.
Veröffentlicht: (2025)

Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
von: Beadle, Alan, et al.
Veröffentlicht: (2025)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
von: Braunsdorf, Oliver, et al.
Veröffentlicht: (2025)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
von: Michael, Alexandra E., et al.
Veröffentlicht: (2022)

Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
von: Qu, Yiting, et al.
Veröffentlicht: (2025)

PermRust: A Token-based Permission System for Rust
von: Gehring, Lukas, et al.
Veröffentlicht: (2025)

Bringing Rust to Safety-Critical Systems in Space
von: Seidel, Lukas, et al.
Veröffentlicht: (2024)

On the Proactive Generation of Unsafe Images From Text-To-Image Models Using Benign Prompts
von: Wu, Yixin, et al.
Veröffentlicht: (2023)

From Stealthy Data Fabrication to Unsafe Driving: Realistic Scenario Attacks on Collaborative Perception
von: Zhang, Qingzhao, et al.
Veröffentlicht: (2026)

RustMC: Extending the GenMC stateless model checker to Rust
von: Pearce, Oliver, et al.
Veröffentlicht: (2025)

Using Preformed Resistive Random Access Memory to Create a Strong Physically Unclonable Function
von: Garrard, Jack, et al.
Veröffentlicht: (2025)

Filament: Denning-Style Information Flow Control for Rust
von: Ching, Jeffrey C., et al.
Veröffentlicht: (2026)

FASR: Automated Identification of Unsafe Control Actions in STPA
von: Dardik, Ian, et al.
Veröffentlicht: (2026)

Rust and Go directed fuzzing with LibAFL-DiFuzz
von: Mezhuev, Timofey, et al.
Veröffentlicht: (2026)

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
von: Chen, Haobin Hiroki, et al.
Veröffentlicht: (2025)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
von: Chen, Hung-Mao, et al.
Veröffentlicht: (2025)

Mon CHÉRI: Mitigating Uninitialized Memory Access with Conditional Capabilities
von: Gülmez, Merve, et al.
Veröffentlicht: (2024)

Unsafe LLM-Based Search: Quantitative Analysis and Mitigation of Safety Risks in AI Web Search
von: Luo, Zeren, et al.
Veröffentlicht: (2025)

Propagating Unsafe Actions in LLM Controlled Multi-Robot Collaboration via Single Robot Compromise
von: Huang, Zhen, et al.
Veröffentlicht: (2026)

SPOILER-GUARD: Gating Latency Effects of Memory Accesses through Randomized Dependency Prediction
von: Subramanian, Gayathri, et al.
Veröffentlicht: (2026)

A Study of Semi-Fungible Token based Wi-Fi Access Control
von: Ye, Litao, et al.
Veröffentlicht: (2025)

ABAC Lab: An Interactive Platform for Attribute-based Access Control Policy Analysis, Tools, and Datasets
von: Bui, Thang, et al.
Veröffentlicht: (2025)

HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust
von: Luo, Yu, et al.
Veröffentlicht: (2025)

LLMGuard: Guarding Against Unsafe LLM Behavior
von: Goyal, Shubh, et al.
Veröffentlicht: (2024)

NEXUS: Network Exploration for eXploiting Unsafe Sequences in Multi-Turn LLM Jailbreaks
von: Asl, Javad Rafiei, et al.
Veröffentlicht: (2025)

Position-based Rogue Access Point Detection
von: Liu, Wenjie, et al.
Veröffentlicht: (2024)

deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
von: Androutsopoulos, Georgios, et al.
Veröffentlicht: (2025)

Probing the Safety Response Boundary of Large Language Models via Unsafe Decoding Path Generation
von: Wang, Haoyu, et al.
Veröffentlicht: (2024)

An Explainable Memory Forensics Approach for Malware Analysis
von: Sanna, Silvia Lucia, et al.
Veröffentlicht: (2026)

SafeTrans: LLM-assisted Transpilation from C to Rust
von: Farrukh, Muhammad, et al.
Veröffentlicht: (2025)

An Empirical Security Evaluation of LLM-Generated Cryptographic Rust Code
von: Elsayed, Mohamed, et al.
Veröffentlicht: (2026)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
von: Abdelrazek, Zeyad, et al.
Veröffentlicht: (2026)

MFAz: Historical Access Based Multi-Factor Authorization
von: Chekole, Eyasu Getahun, et al.
Veröffentlicht: (2025)

A Distributed Blockchain-based Access Control for the Internet of Things
von: Abdulrahman, Ebtihal, et al.
Veröffentlicht: (2025)

EXTree: Towards Supporting Explainability in Attribute-based Access Control
von: Chowdary, Shanampudi Pranaya, et al.
Veröffentlicht: (2026)

NanoZone: Scalable, Efficient, and Secure Memory Protection for Arm CCA
von: Liu, Shiqi, et al.
Veröffentlicht: (2025)