TY  - RPRT
TI  - Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
AU  - Son Ho
AU  - Cédric Fournet
AU  - Jonathan Protzenko
AU  - Michael Naehrig
AU  - Joshua Clune
AU  - Patrick Longa
AU  - Guillaume Boisseau
AU  - Fernando Leal Sánchez
AU  - Aymeric Fromherz
AU  - Antoine Delignat-Lavaud
PY  - 2026
UR  - https://arxiv.org/abs/2609.15648
ID  - 2609.15648
ER  -