Post

ePrint Updates
@eprint.ing.bot

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

0 reposts1 like

No replies yet.