Authenticated system calls | IEEE Conference Publication | IEEE Xplore