This Project Grant award from the National Science Foundation Division of Computer and Network Systems, under the Computer and Information Science and Engineering program (CFDA 47.070), provides $612,648 to Worcester Polytechnic Institute to develop new methods for securing embedded software. The awardee will shift security enforcement from developers to compilers using static analysis, runtime instrumentation, and hardware support. Enhancements will enable customization and promote longevity....
The National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) awarded the University of Rochester $147,846 on June 15, 2024 to conduct research on security vulnerabilities in mobile computing platforms with shared memory. The project aims to uncover security threats that could enable malicious parties to circumvent protection mechanisms and extract sensitive information by monitoring data access patterns. The research will...
This $194,999 Project Grant award, funded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to enforce expressive security policies using trusted execution environments. The project aims to advance the state-of-the-art for building secure systems by automatically placing security-critical application components within secure enclaves, reducing the programming challenges. The work includes developing a...
This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program provides $222,427 to Purdue University to secure deeply embedded software (DES) systems. The project aims to develop novel software security techniques and tools to address inherent challenges in DES, including diverse hardware/software environments, resource limitations, and legacy code. Key products include: 1) a method for hosting DES on Linux...
This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program provides $347,792 to the University of Texas at Dallas (UTD) from March 1, 2025 to February 28, 2030. The award aims to develop an end-to-end framework for secure, fine-grained design-for-security primitives in embedded hardware. This research will enhance the effectiveness of hardware-assisted security solutions, leading to lightweight and robust...
The National Science Foundation awarded a $301,689 project grant to the University of Rochester under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will fund research from September 2021 through August 2024 related to the design, programming, and prototyping of programmable hierarchical caches to support investigator-initiated research and education in computing, communications, and information science and engineering. The grant aims to advance the...
This Project Grant from the National Science Foundation's Division of Computer and Network Systems, under the Computer and Information Science and Engineering program (CFDA 47.070), provides $173,000 to the Long Beach Research Foundation of California State University to investigate secure embedded field-programmable gate array (EFPGA) redaction solutions and dynamic key schemes for hardware security and reliability from March 2023 to February 2025. The project aims to develop a comprehensive...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program grant, awarded under CFDA 47.070, provides $353,258 to The Regents of the University of Colorado (University of Colorado) for the project "SECURITY AS A FIRST-CLASS DESIGN CONSTRAINT IN COMPUTER ARCHITECTURE" from March 1, 2025 to February 28, 2030. The project aims to develop new abstract methods for reasoning about hardware vulnerabilities and build an evaluation infrastructure that...
The National Science Foundation awarded Portland State University a $499,838 Project Grant under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for the period of April 1, 2021 through March 31, 2024. The grant funds research to specify and verify secure compilation of C code to tagged hardware. Specifically, the university will conduct investigator-initiated research to develop techniques for formally specifying the semantics of secure compilation and...
This $566,953 project grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to address critical challenges in fine-grained information flow control (IFC) within software systems. The research primarily focuses on developing a novel IFC system tailored to the Rust programming language, leveraging its unique features. Key objectives include designing a static IFC library to minimize programming model...