Linux-Kernel soll auf neue Füße gestellt werden - und Google zahlt
#Google #Sicherheit #Security #Entwicklung #Linux #Programmierung #Kernel #Programmiersprache #Rust #Betriebssysteme #Software

Google hat sich jetzt als schwergewichtiger Unterstützer hinter ein Projekt gestellt, das durch einen Paradigmenwechsel den Linux-Kernel modernisieren und sicherer machen will․ Das hätte Auswirkungen auf Milliarden Smartphones und das ganze Internet․

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․

Windows 11: Erste Teile des Kernels sind schon auf Rust umgestellt
#Microsoft #Windows #Sicherheit #Security #Windows11 #Programmierung #Kernel #Programmiersprache #Rust #Betriebssysteme #Software

Microsoft hat seiner Ankündigung bereits Taten folgen lassen: Im Windows-Kernel sind die ersten Teile des Codes in der Programmiersprache Rust geschrieben․ Das soll zukünftig für eine höhere Sicherheit sorgen․