IDL generation for Linux Kernel Security

Vikram Narayanan¹, Yongzhe Huang², Aftab Hussain¹, Anton Burtsev¹, Gang Tang², Trent Jaeger²
University of California, Irvine¹, Penn State University²
Supported by National Science Foundation
2017 to 2019
Return to Projects

Analyzing Linux kernel using Data Structure Analysis (DSA) based on LLVM to automatically generate interface definition language code for isolating kernel modules for enhancing security.