Aeneas: Rust Verification by Functional Translation

Rapport Année : 2023

(1) , (2) , (1)

1
2

Son Ho

Programming securely with cryptography

Jonathan Protzenko

Microsoft Research

Aymeric Fromherz

Programming securely with cryptography

Logique en informatique [cs.LO]

Fichier principal

main.pdf (256.79 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-04136056

Soumis le : mercredi 21 juin 2023-13:10:20

Dernière modification le : vendredi 26 janvier 2024-08:35:34

Archivage à long terme le : vendredi 22 septembre 2023-18:35:35

hal-04136056 , version 1 (21-06-2023)

Son Ho, Jonathan Protzenko, Aymeric Fromherz. Aeneas: Rust Verification by Functional Translation. Inria Paris. 2023. ⟨hal-04136056⟩

INRIA INRIA2 LARA ANR CYBERSCURITE

30 Consultations

25 Téléchargements