1. Foren
  2. Kommentare
  3. Handy
  4. Alle Kommentare zum Artikel
  5. › OKL4: Sicherer Microkernel für mobile…

OKL4: Sicherer Microkernel für mobile Geräte

Open Kernel Labs (OK Labs) hat seinen sicheren Microkernel OKL4 Verified samt OKL4-Hypervisor für mobile Geräte zum Download freigegeben. Ein spezieller Verifizierungsprozess soll Pufferüberläufe oder Speicherlecks bei dessen Entwicklung verhindern.


Stellenmarkt
  1. COLUMBUS McKINNON EMEA GmbH, Wuppertal, Kissing, Künzelsau
  2. Vodafone GmbH, Düsseldorf, Eschborn
  3. Klinikum Hochrhein GmbH, Waldshut-Tiengen
  4. UnternehmerTUM GmbH, Garching/München

Golem pur
  • Golem.de ohne Werbung nutzen

Anzeige
Spiele-Angebote
  1. 14,99€
  2. (-50%) 14,99€


Haben wir etwas übersehen?

E-Mail an news@golem.de