seL4: From General Purpose to a Proof of Information Flow Enforcement | IEEE Conference Publication | IEEE Xplore