:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Seidel, Lukas, Beier, Julian
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2405.18135
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Bringing Forensic Readiness to Modern Computer Firmware
by: Latzo, Tobias, et al.
Published: (2025)

Practical Type Inference: High-Throughput Recovery of Real-World Structures and Function Signatures
by: Seidel, Lukas, et al.
Published: (2026)

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

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

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

TAIBOM: Bringing Trustworthiness to AI-Enabled Systems
by: Safronov, Vadim, et al.
Published: (2025)

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

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

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

Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)
by: Sharma, Ayushi, et al.
Published: (2023)

Towards Identification and Intervention of Safety-Critical Parameters in Large Language Models
by: Qi, Weiwei, et al.
Published: (2026)

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

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

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

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

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

A Red Teaming Roadmap Towards System-Level Safety
by: Wang, Zifan, et al.
Published: (2025)

Managing Security Evidence in Safety-Critical Organizations
by: Mohamad, Mazen, et al.
Published: (2024)

Deep Research Brings Deeper Harm
by: Chen, Shuo, et al.
Published: (2025)

If It Looks Like a Rootkit and Deceives Like a Rootkit: A Critical Examination of Kernel-Level Anti-Cheat Systems
by: Dorner, Christoph, et al.
Published: (2024)

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

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

Static Deadlock Detection for Rust Programs
by: Zhang, Yu, et al.
Published: (2024)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
by: Liu, Yuwei, et al.
Published: (2026)

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

Five Minutes of DDoS Brings down Tor: DDoS Attacks on the Tor Directory Protocol and Mitigations
by: Luo, Zhongtang, et al.
Published: (2025)

Dynamic Vulnerability Criticality Calculator for Industrial Control Systems
by: Cheimonidis, Pavlos, et al.
Published: (2024)

Fingerprinting of Machines in Critical Systems for Integrity Monitoring and Verification
by: Paliwal, Prakhar, et al.
Published: (2024)

Intelligent Attacks on Cyber-Physical Systems and Critical Infrastructures
by: de Sá, Alan Oliveira, et al.
Published: (2025)

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
by: Dasu, Vishnu Asutosh, et al.
Published: (2026)

SoK: Where to Fuzz? Assessing Target Selection Methods in Directed Fuzzing
by: Weissberg, Felix, et al.
Published: (2025)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
by: Mohamad, Mazen
Published: (2025)

Bringing UFUs Back into the Air With FUEL: A Framework for Evaluating the Effectiveness of Unrestricted File Upload Vulnerability Scanners
by: Neef, Sebastian, et al.
Published: (2024)

Trusting code in the wild: Exploring contributor reputation measures to review dependencies in the Rust ecosystem
by: Hamer, Sivana, et al.
Published: (2024)

MTS: Bringing Multi-Tenancy to Virtual Networking
by: Thimmaraju, Kashyap, et al.
Published: (2024)

Enhancing Cybersecurity in Critical Infrastructure with LLM-Assisted Explainable IoT Systems
by: Ghimire, Ashutosh, et al.
Published: (2025)

Differential Privacy for Regulatory Compliance in Cyberattack Detection on Critical Infrastructure Systems
by: Ramanan, Paritosh, et al.
Published: (2025)

Towards Safety and Security Testing of Cyberphysical Power Systems by Shape Validation
by: Geiger, Alexander, et al.
Published: (2025)

GradSafe: Detecting Jailbreak Prompts for LLMs via Safety-Critical Gradient Analysis
by: Xie, Yueqi, et al.
Published: (2024)