Copertina

Bringing Rust to Safety-Critical Systems in Space

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Seidel, Lukas, Beier, Julian
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

Practical Type Inference: High-Throughput Recovery of Real-World Structures and Function Signatures
di: Seidel, Lukas, 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

Deep Research Brings Deeper Harm
di: Chen, Shuo, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

Core Logic and Algorithmic Performance Enhancements for a System Vulnerability Analysis Technique for Complex Mission Critical Systems Implementation
di: Tassava, Matthew, et al.
Pubblicazione: (2026)

Secure Group Key Agreement on Cyber-Physical System Buses
di: Peters, Sebastian N., et al.
Pubblicazione: (2026)

Systematization of Knowledge: The Design Space of Digital Payment Systems with Potential for CBDC
di: Senn, Judith, et al.
Pubblicazione: (2026)