Buchumschlag

RustMC: Extending the GenMC stateless model checker to Rust

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pearce, Oliver, Lange, Julien, O'Keeffe, Dan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PermRust: A Token-based Permission System for Rust
von: Gehring, Lukas, 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)

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

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

Static Deadlock Detection for Rust Programs
von: Zhang, Yu, et al.
Veröffentlicht: (2024)

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

Translating C To Rust: Lessons from a User Study
von: Li, Ruishi, et al.
Veröffentlicht: (2024)

C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation
von: Sirlanci, Melih, et al.
Veröffentlicht: (2025)

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

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

OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization
von: Haddad, Rami, et al.
Veröffentlicht: (2022)

Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)
von: Sharma, Ayushi, et al.
Veröffentlicht: (2023)

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
von: Sharma, Reshabh K, et al.
Veröffentlicht: (2026)

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

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

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2025)

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

AC4A: Access Control for Agents
von: Sharma, Reshabh K, et al.
Veröffentlicht: (2026)

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

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)

Securing Monolithic Kernels using Compartmentalization
von: Lim, Soo Yee, et al.
Veröffentlicht: (2024)

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

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
von: Thibault, Jérémy, et al.
Veröffentlicht: (2025)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
von: Hassanzadeh-Nazarabadi, Yahya, et al.
Veröffentlicht: (2025)

FSLH: Flexible Mechanized Speculative Load Hardening
von: Baumann, Jonathan, et al.
Veröffentlicht: (2025)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
von: Damodaran, Suresh K., et al.
Veröffentlicht: (2025)

Censor Resistant Instruction Independent Obfuscation for Multiple Programs
von: Ajorian, Ali
Veröffentlicht: (2025)

LockForge: Automating Paper-to-Code for Logic Locking with Multi-Agent Reasoning LLMs
von: Saha, Akashdeep, et al.
Veröffentlicht: (2025)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
von: Smaragdakis, Yannis, et al.
Veröffentlicht: (2025)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
von: Gollamudi, Tarakaram, et al.
Veröffentlicht: (2025)

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
von: Zhang, Naifeng, et al.
Veröffentlicht: (2025)

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
von: Li, Fang, et al.
Veröffentlicht: (2025)

Dynamic Graph-based Fingerprinting of In-browser Cryptomining
von: Sermchaiwong, Tanapoom, et al.
Veröffentlicht: (2025)

zkStruDul: Programming zkSNARKs with Structural Duality
von: Krishnan, Rahul, et al.
Veröffentlicht: (2025)

SMT-Boosted Security Types for Low-Level MPC
von: Skalka, Christian, et al.
Veröffentlicht: (2025)

Nonmalleable Progress Leakage
von: Cecchetti, Ethan
Veröffentlicht: (2025)

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
von: Ramananandro, Tahina, et al.
Veröffentlicht: (2025)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
von: Ren, Silei, et al.
Veröffentlicht: (2025)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
von: Thomas, Morgan, et al.
Veröffentlicht: (2025)