The National Science Foundation awarded a $1.167 million project grant to Columbia University from March 2021 to February 2025 under the Computer and Information Science and Engineering program (CFDA 47.070).
The grant funds research to microverify the information-flow security of the Linux operating system kernel. The Computer and Information Science and Engineering program supports investigator-initiated research and education across computing, communications, and information science and engineering. This award will advance the development of cyberinfrastructure to accelerate discovery and innovation in these fields.
Columbia University will conduct the research out of its New York City location. The Trustees of Columbia University in the City of New York, operating as Columbia University, received the funding as the awardee. The award will deliver enhanced verification of information security in the widely used Linux kernel through the grantee's research efforts over the four-year period.
Generated 1/7/24, 1:06 AM