Buchumschlag

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Hung-Mao, He, Xu, Wang, Shu, Zhang, Xiaokuan, Sun, Kun
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

PermRust: A Token-based Permission System for Rust
von: Gehring, Lukas, et al.
Veröffentlicht: (2025)

RustMC: Extending the GenMC stateless model checker to Rust
von: Pearce, Oliver, et al.
Veröffentlicht: (2025)

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

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

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)

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

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

UBfuzz: Finding Bugs in Sanitizer Implementations
von: Li, Shaohua, et al.
Veröffentlicht: (2024)

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

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
von: Hochrainer, Christoph, et al.
Veröffentlicht: (2025)

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

Graded Modal Types for Integrity and Confidentiality
von: Marshall, Danielle, et al.
Veröffentlicht: (2023)

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

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

A Type System to Ensure Non-Interference in ReScript
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2024)

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

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
von: Thibault, Jérémy, et al.
Veröffentlicht: (2024)

Misquoted No More: Securely Extracting F* Programs with IO
von: Andrici, Cezar-Constantin, et al.
Veröffentlicht: (2026)

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

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
von: Amorim, Arthur, et al.
Veröffentlicht: (2025)

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

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
von: Zhang, Keyang, et al.
Veröffentlicht: (2026)

Programming Frameworks for Differential Privacy
von: Gaboardi, Marco, et al.
Veröffentlicht: (2024)

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
von: Chen, Haobin Hiroki, et al.
Veröffentlicht: (2025)

Type-Based Enforcement of Non-Interference for Choreographic Programming
von: Bertoni, Marco, et al.
Veröffentlicht: (2026)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
von: Ball, Thomas, et al.
Veröffentlicht: (2024)

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

Deterministic Fully-Static Whole-Binary Translation without Heuristics
von: Chen, Hongyu, et al.
Veröffentlicht: (2026)

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
von: Wen, Hongbo, et al.
Veröffentlicht: (2024)

Exploiting Code Symmetries for Learning Program Semantics
von: Pei, Kexin, et al.
Veröffentlicht: (2023)

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

Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-Procedural Path-Sensitive Taint Analysis
von: Ji, Yuchen, et al.
Veröffentlicht: (2025)

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

Against All Odds: Overcoming Typology, Script, and Language Confusion in Multilingual Embedding Inversion Attacks
von: Chen, Yiyi, et al.
Veröffentlicht: (2024)

Agentic Specification Generator for Move Programs
von: Fu, Yu-Fu, 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)