Cover Image

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Braunsdorf, Oliver, Lange, Tim, Hohentanner, Konrad, Horsch, Julian, Kinder, Johannes
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

PURL: Safe and Effective Sanitization of Link Decoration
by: Munir, Shaoor, et al.
Published: (2023)

Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust
by: Zhou, Jie, et al.
Published: (2023)

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

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

Safe Text-to-Image Generation: Simply Sanitize the Prompt Embedding
by: Qiu, Huming, et al.
Published: (2024)

Breach By A Thousand Leaks: Unsafe Information Leakage in `Safe' AI Responses
by: Glukhov, David, et al.
Published: (2024)

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

SafeSteer: Adaptive Subspace Steering for Efficient Jailbreak Defense in Vision-Language Models
by: Zeng, Xiyu, et al.
Published: (2025)

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

Match & Mend: Minimally Invasive Local Reassembly for Patching N-day Vulnerabilities in ARM Binaries
by: Jänich, Sebastian, et al.
Published: (2025)

SafeClaw-R: Towards Safe and Secure Multi-Agent Personal Assistants
by: Wang, Haoyu, et al.
Published: (2026)

HomeSafe-Bench: Evaluating Vision-Language Models on Unsafe Action Detection for Embodied Agents in Household Scenarios
by: Pu, Jiayue, et al.
Published: (2026)

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

LiteQSign: Lightweight and Quantum-Safe Signatures for Heterogeneous IoT Applications
by: Yavuz, Attila A., et al.
Published: (2023)

Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects
by: Huang, Kaiming, et al.
Published: (2023)

Unconditionally Safe Light Client
by: Moshrefi, Niusha, et al.
Published: (2024)

On the Vulnerability of Text Sanitization
by: Tong, Meng, et al.
Published: (2024)

Are Enterprises Ready for Quantum-Safe Cybersecurity?
by: Le, Tran Duc, et al.
Published: (2025)

SafeBench: A Safety Evaluation Framework for Multimodal Large Language Models
by: Ying, Zonghao, et al.
Published: (2024)

ARMOR: Aligning Secure and Safe Large Language Models via Meticulous Reasoning
by: Zhao, Zhengyue, et al.
Published: (2025)

BLens: Contrastive Captioning of Binary Functions using Ensemble Embedding
by: Benoit, Tristan, et al.
Published: (2024)

Scalable and Secure Row-Swap: Efficient and Safe Row Hammer Mitigation in Memory Systems
by: Woo, Jeonghyun, et al.
Published: (2022)

In Search of Lost Data: A Study of Flash Sanitization Practices
by: Schneider, Janine, et al.
Published: (2025)

Fast Deterministically Safe Proof-of-Work Consensus
by: Farahbakhsh, Ali, et al.
Published: (2025)

Sanitizing Hidden Information with Diffusion Models
by: Robinette, Preston K., et al.
Published: (2023)

QLink: Quantum-Safe Bridge Architecture for Blockchain Interoperability
by: Da Silva, Joao Vitor Barros, et al.
Published: (2025)

Versatile Quantum-Safe Hybrid Key Exchange and Its Application to MACsec
by: Buruaga, Jaime S., et al.
Published: (2025)

CAPIO: Safe Kernel-Bypass of Commodity Devices using Capabilities
by: Doku, Friedrich, et al.
Published: (2025)

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
by: Dorfmeister, Daniel, et al.
Published: (2026)

DataSafe: Copyright Protection with PUF Watermarking and Blockchain Tracking
by: Xue, Xiaolong, et al.
Published: (2024)

Invisible Entropy: Towards Safe and Efficient Low-Entropy LLM Watermarking
by: Gu, Tianle, et al.
Published: (2025)

SafeTune: Mitigating Data Poisoning in LLM Fine-Tuning for RTL Code Generation
by: Rezakhani, Mahshid, et al.
Published: (2026)

Acceptance Cards:A Four-Diagnostic Standard for Safe Fine-Tuning Defense Claims
by: Konrad, Phongsakon Mark, et al.
Published: (2026)

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

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

SARSteer: Safeguarding Large Audio-Language Models via Safe-Ablated Refusal Steering
by: Lin, Weilin, et al.
Published: (2025)

Post-Quantum Cryptography and Quantum-Safe Security: A Comprehensive Survey
by: Chhetri, Gaurab, et al.
Published: (2025)