Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhou, Jie, Sun, Mingshen, Criswell, John
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
di: Paaßen, David, et al.
Pubblicazione: (2025)

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

DeTRAP: RISC-V Return Address Protection With Debug Triggers
di: Richter, Isaac, et al.
Pubblicazione: (2024)

SandCell: Sandboxing Rust Beyond Unsafe Code
di: Zhang, Jialun, et al.
Pubblicazione: (2025)

LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation
di: Xia, Tianrou, et al.
Pubblicazione: (2025)

Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
di: Beadle, Alan, et al.
Pubblicazione: (2025)

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

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
di: Michael, Alexandra E., et al.
Pubblicazione: (2022)

Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
di: Qu, Yiting, et al.
Pubblicazione: (2025)

PermRust: A Token-based Permission System for Rust
di: Gehring, Lukas, et al.
Pubblicazione: (2025)

Bringing Rust to Safety-Critical Systems in Space
di: Seidel, Lukas, et al.
Pubblicazione: (2024)

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

From Stealthy Data Fabrication to Unsafe Driving: Realistic Scenario Attacks on Collaborative Perception
di: Zhang, Qingzhao, et al.
Pubblicazione: (2026)

RustMC: Extending the GenMC stateless model checker to Rust
di: Pearce, Oliver, et al.
Pubblicazione: (2025)

Using Preformed Resistive Random Access Memory to Create a Strong Physically Unclonable Function
di: Garrard, Jack, et al.
Pubblicazione: (2025)

Filament: Denning-Style Information Flow Control for Rust
di: Ching, Jeffrey C., et al.
Pubblicazione: (2026)

FASR: Automated Identification of Unsafe Control Actions in STPA
di: Dardik, Ian, et al.
Pubblicazione: (2026)

Rust and Go directed fuzzing with LibAFL-DiFuzz
di: Mezhuev, Timofey, et al.
Pubblicazione: (2026)

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
di: Chen, Haobin Hiroki, et al.
Pubblicazione: (2025)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
di: Chen, Hung-Mao, et al.
Pubblicazione: (2025)

Mon CHÉRI: Mitigating Uninitialized Memory Access with Conditional Capabilities
di: Gülmez, Merve, et al.
Pubblicazione: (2024)

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

Propagating Unsafe Actions in LLM Controlled Multi-Robot Collaboration via Single Robot Compromise
di: Huang, Zhen, et al.
Pubblicazione: (2026)

SPOILER-GUARD: Gating Latency Effects of Memory Accesses through Randomized Dependency Prediction
di: Subramanian, Gayathri, et al.
Pubblicazione: (2026)

A Study of Semi-Fungible Token based Wi-Fi Access Control
di: Ye, Litao, et al.
Pubblicazione: (2025)

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

HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust
di: Luo, Yu, et al.
Pubblicazione: (2025)

LLMGuard: Guarding Against Unsafe LLM Behavior
di: Goyal, Shubh, et al.
Pubblicazione: (2024)

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

Position-based Rogue Access Point Detection
di: Liu, Wenjie, et al.
Pubblicazione: (2024)

deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
di: Androutsopoulos, Georgios, et al.
Pubblicazione: (2025)

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

An Explainable Memory Forensics Approach for Malware Analysis
di: Sanna, Silvia Lucia, et al.
Pubblicazione: (2026)

SafeTrans: LLM-assisted Transpilation from C to Rust
di: Farrukh, Muhammad, et al.
Pubblicazione: (2025)

An Empirical Security Evaluation of LLM-Generated Cryptographic Rust Code
di: Elsayed, Mohamed, et al.
Pubblicazione: (2026)

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

MFAz: Historical Access Based Multi-Factor Authorization
di: Chekole, Eyasu Getahun, et al.
Pubblicazione: (2025)

A Distributed Blockchain-based Access Control for the Internet of Things
di: Abdulrahman, Ebtihal, et al.
Pubblicazione: (2025)

EXTree: Towards Supporting Explainability in Attribute-based Access Control
di: Chowdary, Shanampudi Pranaya, et al.
Pubblicazione: (2026)

NanoZone: Scalable, Efficient, and Secure Memory Protection for Arm CCA
di: Liu, Shiqi, et al.
Pubblicazione: (2025)