Hax: Verifying Security-Critical Rust Software Using Multiple Provers

2 pointsposted 21 days ago
by forks
(eprint.iacr.org)

No comments yet