Názor k článku CIA umí prolomit Linux, televize, routery i telefony, ukazuje WikiLeaks od Sten - Jak se tam prolomí, když lze matematicky prokázat,...

Jak se tam prolomí, když lze matematicky prokázat, že se tam prolomit nelze?

Data61 je dceřiná organizace příspěvkové organizace Commonwealth Scientific and Industrial Research Organisation zřízené australskou vládou a univerzitami. Je to největší nearmádní IT výzkumná organizace na světě. SeL4 je plně open source včetně nástrojů na formální verifikaci, takže si bezchybnost klidně můžete ověřit, a vyvíjí to ti samí lidé, kteří mají přes 15 let zkušenosti s vývojem podobných systémů a vytvořili třeba verzi mikrojádra L4 zvanou NICTA::L4, která velmi pravděpodobně běží i ve vašem telefonu, kde hlídá šifrovací klíče.