Copertina

Validating Memory Safety in Rust Binaries

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autori principali:	Louka, Antonis, Dionysiou, Antreas, Athanasopoulos, Elias
Natura:	Recurso digital
Pubblicazione:	Zenodo 2024
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Lacasse Theory v1: Universal Quantification of Conscious Systems / La Théorie de Lacasse v1 : Quantification Universelle des Systèmes Conscients
di: Lacasse, Louka
Pubblicazione: (2026)

The Lacasse Theory : Universal Quantification of Conscious Systems / La Théorie de Lacasse : Quantification Universelle des Systèmes Conscients
di: Lacasse, Louka
Pubblicazione: (2026)

La devaluación : juicio crítico de las normas de la política del Fondo Monetario Internacional / Louka T. Katseli
di: Katseli, Louka T

La devaluación: juicio crítico de las normas de política del Fondo Monetario Internacional
di: Katseli, Louka
Pubblicazione: (1985)

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

Fuzzing Frameworks for Server-side Web Applications: A Survey
di: Dharmaadi, I Putu Arya, et al.
Pubblicazione: (2024)

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning
di: P, Akilesh, et al.
Pubblicazione: (2026)

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

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

Switching graphs and Hadamard matrices
di: Abiad, Aida, et al.
Pubblicazione: (2024)

Handling of Memory Page Faults during Virtual-Address RDMA
di: Psistakis, Antonis
Pubblicazione: (2025)

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

Annotating and Auditing the Safety Properties of Unsafe Rust
di: Rao, Zihao, et al.
Pubblicazione: (2025)

Kac-Ward solution of the 2D classical and 1D quantum Ising models
di: Athanasopoulos, Georgios, et al.
Pubblicazione: (2024)

The Effect of COVID‐Related Quarantine and Attitudes on Time Conceptualization: Evidence From Temporal Focus and Implicit Space‐Time Mappings
di: Panos Athanasopoulos, et al.
Pubblicazione: (2024)

Learning Equilibria in Matching Games with Bandit Feedback
di: Athanasopoulos, Andreas, et al.
Pubblicazione: (2025)

Introduction to the topical collection on harmful algal blooms
di: Dionysios Dionysiou, et al.
Pubblicazione: (2024)

Dynamic sparse graphs with overlapping communities
di: Miscouridou, Xenia, et al.
Pubblicazione: (2025)

Dynamic Topology Optimization for Non-IID Data in Decentralized Learning
di: Cox, Bart, et al.
Pubblicazione: (2026)

Signalling and Control in Nonlinear Stochastic Systems: An Information State Approach with Applications
di: Charalambous, Charalambos D., et al.
Pubblicazione: (2024)

Reprogrammable and Active Multilayer Responsive Materials Based on Ultrahigh Molecular Polyethylene
di: Nikolaos Athanasopoulos, et al.
Pubblicazione: (2026)

A Child With Recurrent Bullous Lesions and Allergic Predisposition
di: Magdalini Louka, et al.
Pubblicazione: (2025)

The Block Preconditioned SOR Method for Solving Indefinite Complex Linear Systems
di: M. A. Louka, et al.
Pubblicazione: (2026)

TECS/Rust: Memory-safe Component Framework for Embedded Systems
di: Yoshimura, Nao, et al.
Pubblicazione: (2025)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
di: Shiraishi, Momoko, et al.
Pubblicazione: (2024)

Is Scaling Learned Optimizers Worth It? Evaluating The Value of VeLO's 4000 TPU Months
di: Rezk, Fady, et al.
Pubblicazione: (2023)

Crosslinguistic Differences in Food Labels Do Not Yield Differences in Taste Perception
di: Emanuel Bylund, et al.
Pubblicazione: (2024)

Optimality in nonlocal time-dependent obstacle problems
di: Athanasopoulos, Ioannis, et al.
Pubblicazione: (2026)

Rawlsian many-to-one matching with non-linear utility
di: Nana, Hortence, et al.
Pubblicazione: (2025)

Use Case 2 End-to-end measurements of network reliability, power consumption, and device performance for remote eHealth and multimedia streaming services under the XGain European project
di: Athanasopoulos, Nikolaos, et al.
Pubblicazione: (2025)

Deep Learning Methods for Detecting Thermal Runaway Events in Battery Production Lines
di: Athanasopoulos, Athanasios, et al.
Pubblicazione: (2025)

rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust
di: Cui, Mohan, et al.
Pubblicazione: (2023)

NPB-Rust: NAS Parallel Benchmarks in Rust
di: Martins, Eduardo M., et al.
Pubblicazione: (2025)

Enhancing Type Safety in MPI with Rust: A Statically Verified Approach for RSMPI
di: Iqbal, Nafees, et al.
Pubblicazione: (2025)

RustSAT: A Library For SAT Solving in Rust
di: Jabs, Christoph
Pubblicazione: (2025)

Evaluating the Limits of Large Language Models in Multilingual Legal Reasoning
di: Ioannou, Antreas, et al.
Pubblicazione: (2025)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
di: Wang, Han, et al.
Pubblicazione: (2023)

Probably Correct Optimal Stable Matching for Two-Sided Markets Under Uncertainty
di: Athanasopoulos, Andreas, et al.
Pubblicazione: (2025)

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

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