Our paper "hax: Verifying Security-Critical Rust Software using Multiple Provers" is now available on eprint and will be published in the VSTTE 2024 proceedings.
Reposted from
ePrint Updates
hax: Verifying Security-Critical Rust Software using Multiple Provers (Karthikeyan Bhargavan, Maxime Buyse, Lucas Franceschino, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters) ia.cr/2025/142
Comments