L4 microkernels: The lessons from 20 years of research and deployment

Re:L4 microkernels: The lessons from 20 years of research an... by eternalban on Tuesday September 20, 2016 @01:16PM (#12541153)

Thanks.

Skimming that, I got that (a) PHigh -> PLow via overt channels will be degraded, and that (b) seL4 reduces the attack surface to "covert channels" only which seem to be confined to H/W "platform" concerns.

[ Parent | on HN ]

Re:L4 microkernels: The lessons from 20 years of research an... by cmrx64 on Tuesday September 20, 2016 @01:50PM (#12541527)

There are more papers coming out soon about eliminating covert channels at the design/kernel level!

[ Parent | on HN ]