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.
1 comment
[ 4.0 ms ] story [ 14.9 ms ] threadIf 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.