Formal bewiesen: Rust kann seine Sicherheits-Versprechen halten
#Sicherheit #Forschung #Security #Wissenschaft #Informatik #Programmierung #Programmiersprache #Rust #Beweis #Dissertation #Entwicklung #Software

Die Programmiersprache Rust kann ihr Sicherheits-Versprechen tatsächlich einhalten․ Dafür hat ein Informatiker einen formalen Beweis vorgelegt․ Die Popularität Rusts dürfte dadurch in der kommenden Zeit noch einmal deutlich steigen․