19 citations · 29 across the 4 of their papers we have counts for
1 paper · 1 filter
Natalia Klaus, Juan Conejero, Palina Tolmach
We describe a verification pipeline that takes production Rust cryptographic code and produces machine-checked correctness proofs in Lean 4. The pipeline combines three components:…