Ikhbar.com: Untuk menyediakan sistem keamanan perangkat yang digunakan, Google baru-baru ini merilis sistem operasi baru mereka bernama KataOS.
Hadirnya sistem operasi Google terbaru diinisiasi banyaknya perangkat pintar yang mengumpulkan dan memproses informasi dari lingkungan sekitar.
Perangkat-perangkat tersebut menurut Google lebih rentan terhadap masalah keamanan. 
Google mengatakan bahwa, jika perangkat di sekitar tidak bisa dibuktikan secara matematis untuk menjaga keamanan data, maka inilah yang akan menimbulkan masalah.
Baca juga: Sambut Persaingan Masa Depan, HMJ IQTAF IAIN Cirebon Gelar Seminar Digitaf
“Data pengenal pribadi yang mereka kumpulkan seperti gambar orang dan rekaman suara mereka dapat diakses oleh perangkat lunak berbahaya,” kata Google dikutip dari laman resminya pada Senin, 24 Oktober 2022.
Kabarnya, KataOS memilih seL4 sebagai mikrokernel. Ini terbukti aman dan bersifat pribadi.
Melalui struktur CAmkES seL4, KataOS, Google mengklaim dapat menyediakan komponen sistem yang terdefinisi dan dapat dianalisa.
“KataOS menyediakan platform yang sangat aman yang melindungi privasi pengguna karena secara logis tidak mungkin aplikasi melanggar perlindungan keamanan perangkat keras kernel dan komponen sistem benar-benar aman,” tulis Google.
KataOS menirut Google diimplementasikan hampir seluruhnya di Rust. Ini adalah bahasa yang menghapus semua jenis bug seperti bug off-by-one dan butter overflows.
