Cover Image

PermRust: A Token-based Permission System for Rust

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gehring, Lukas, Rehms, Sebastian, Tschorsch, Florian
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

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

PrivTru: A Privacy-by-Design Data Trustee Minimizing Information Leakage
by: Gehring, Lukas, 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)

Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data Flows
by: Rehms, Sebastian, et al.
Published: (2024)

Static Deadlock Detection for Rust Programs
by: Zhang, Yu, 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)

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

Translating C To Rust: Lessons from a User Study
by: Li, Ruishi, et al.
Published: (2024)

C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation
by: Sirlanci, Melih, et al.
Published: (2025)

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

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

A Type System to Ensure Non-Interference in ReScript
by: Bennetzen, Benjamin, et al.
Published: (2024)

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)

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

FSLH: Flexible Mechanized Speculative Load Hardening
by: Baumann, Jonathan, et al.
Published: (2025)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
by: Thomas, Morgan, et al.
Published: (2025)

Dynamic Graph-based Fingerprinting of In-browser Cryptomining
by: Sermchaiwong, Tanapoom, et al.
Published: (2025)

Automated Formal Verification of a Software Fault Isolation System
by: Sotoudeh, Matthew, et al.
Published: (2025)

DeZent: Decentralized z-Anonymity with Privacy-Preserving Coordination
by: Brunn, Carolin, et al.
Published: (2026)

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

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

An applied Perspective: Estimating the Differential Identifiability Risk of an Exemplary SOEP Data Set
by: Allmann, Jonas, et al.
Published: (2024)

A Bayesian Approach to Membership Inference for Statistical Release
by: Oakley, Lisa, et al.
Published: (2026)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
by: Reitz, Antonin, et al.
Published: (2024)

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

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

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

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)

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

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

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
by: Hassanzadeh-Nazarabadi, Yahya, et al.
Published: (2025)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
by: Damodaran, Suresh K., et al.
Published: (2025)

Censor Resistant Instruction Independent Obfuscation for Multiple Programs
by: Ajorian, Ali
Published: (2025)

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

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
by: Smaragdakis, Yannis, et al.
Published: (2025)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
by: Gollamudi, Tarakaram, et al.
Published: (2025)