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

Verified Software Theories, Tools, Experiments（2024）

Cited 0|Views1

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined