@misc{indiciae01322d71f5f6,
  title = {Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean},
  author = {Son Ho and Cédric Fournet and Jonathan Protzenko and Michael Naehrig and Joshua Clune and Patrick Longa and Guillaume Boisseau and Fernando Leal Sánchez and Aymeric Fromherz and Antoine Delignat-Lavaud},
  year = {2026},
  url = {https://arxiv.org/abs/2609.15648},
  note = {Source identifier: 2609.15648}
}