Secure applications need flexible operating systems | IEEE Conference Publication | IEEE Xplore