Kategorie:
Rust
Rust-Programmiersprache und sichere Systemsoftware.
-
Der Kryptoschrauber lässt den Beweisstempel auf Rust fallen
Im Kryptokeller fällt ein schwerer Stempel auf Rust-Code: Microsoft Research zeigt, wie SymCrypt mit Lean, Aeneas und maschinengeprüften Beweisen aus dem Teststand in die Beweiswerkstatt rollt.