IDL generation for Linux Kernel Security
Vikram Narayanan1, Yongzhe Huang2, Aftab Hussain1, Anton Burtsev1, Gang Tang2, Trent Jaeger2
University of California, Irvine1, Penn State University2
account_balance Supported by National Science Foundation
public Published on ResearchGate 2018
construction Skills used: C++, data structure analysis
arrow_backReturn to Projects
University of California, Irvine1, Penn State University2
account_balance Supported by National Science Foundation
public Published on ResearchGate 2018
construction Skills used: C++, data structure analysis
arrow_backReturn to Projects
Analyzed Linux kernel using Data Structure Analysis (DSA) based on LLVM to automatically generate interface definition language code for isolating kernel modules for enhancing security.
-
Investigated the IDL generation framework based on the Data Structure Analysis (DSA) approach by Chris Lattner on program graphs.
-
Showed how incorrect information can traverse between nodes of a graph in DSA, under certain circumstances.