Skip to content
Descubridor Institucional UMAR
Inicio
Búsqueda avanzada
Explorar
Inicio
Búsqueda avanzada
Explorar
Login
Language
English
Deutsch
Español
Français
Italiano
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Validating Memory Safety in Rust Binaries
Validating Memory Safety in Rust Binaries
Fuente:
Zenodo
Saved in:
Bibliographic Details
Main Authors:
Louka, Antonis
,
Dionysiou, Antreas
,
Athanasopoulos, Elias
Format:
Recurso digital
Published:
Zenodo
2024
Online Access:
Acceder al recurso
Tags:
Add Tag
No Tags, Be the first to tag this record!
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Holdings
Description
Comments
Similar Items
Staff View
Internet
https://doi.org/10.1145/3642974.3652281
Similar Items
The Lacasse Theory v1: Universal Quantification of Conscious Systems / La Théorie de Lacasse v1 : Quantification Universelle des Systèmes Conscients
by: Lacasse, Louka
Published: (2026)
The Lacasse Theory : Universal Quantification of Conscious Systems / La Théorie de Lacasse : Quantification Universelle des Systèmes Conscients
by: Lacasse, Louka
Published: (2026)
La devaluación : juicio crítico de las normas de la política del Fondo Monetario Internacional / Louka T. Katseli
by: Katseli, Louka T
La devaluación: juicio crítico de las normas de política del Fondo Monetario Internacional
by: Katseli, Louka
Published: (1985)
Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
by: Gülmez, Merve, et al.
Published: (2023)