seL4: From General Purpose to a Proof of Information Flow Enforcement.

Published in: IEEE Symposium on Security and Privacy (2013)

Keyphrases