Re: SeL4

Retourner au contenu associé (journal : KataOS, un OS sécurisé basé sur SeL4 écrit en Rust ... par Google)

[^] # Re: SeL4

Posté par thoasm le 22 octobre 2022 à 11:45. En réponse au journal KataOS, un OS sécurisé basé sur SeL4 écrit en Rust ... par Google. Évalué à 3.

Le sujet de la « réparation » de preuves est un sujet de recherche très prisé sur le marché de l’emploi : https://nitter.net/lindsey/status/1496671564649021440