3 ms·
Flagged for your editorializing title (original youtube title: "NICTA: High Assurance Demo"). If you watched the video, you'll have noticed that they explicitl
by dandrews 12y ago
Flagged for your editorializing title (original youtube title: "NICTA: High Assurance Demo").
If you watched the video, you'll have noticed that they explicitly said that compromised applications ought not be able to cross the sel4 barrier and compromise other (possibly critical) applications running on the same platform.