KAFE: Kernel Analysis Front-End for Software Assurance | IEEE Conference Publication | IEEE Xplore