Project Grant 2319572
Award Date
10/1/23
Completion Date
9/30/27
Dollars Obligated
$750K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Houston, TX 77005, USA
Similar Awards
The National Science Foundation (NSF) awarded a Project Grant totaling $248,011 to Worcester Polytechnic Institute (WPI) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) with a start date of March 1, 2024 and an end date of February 28, 2029. The award supports research to develop technologies that can secure electronic computing hardware against sophisticated physical attacks along the microelectronics supply chain. The key focus areas...
This Project Grant from the National Science Foundation supports research at the University of Southern California to develop a principled framework for modeling and analyzing the impact of hardware faults on embedded software. The award of $374,999 under the Computer and Information Science and Engineering program will fund research over four years from July 2022 to June 2026. The researchers will design an instruction-set architecture-level fault model to capture the effects of hardware...
This three-year, $290,443 project grant from the National Science Foundation's Computer and Information Science and Engineering program aims to develop tools and methods for information flow validation in system-on-chip designs. Specifically, the University of Texas at Dallas will create a scientific foundation and comprehensive automated framework to systematically address challenges in validating that sensitive hardware assets cannot be accessed or corrupted by unauthorized agents. Key...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) in the amount of $400,000.00 will support a collaborative research project titled "FMITF: TRACK I: AVA: ARCHITECTURAL INSIGHTS FOR FORMAL VERIFICATION OF COMPUTER ARCHITECTURES" at the Massachusetts Institute of Technology (MIT) from October 1, 2024 to September 30, 2027. The key objectives of this project are to: Develop architecture-driven abstractions,...
This $353,258 Project Grant, awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program, supports research into new methods for evaluating and mitigating security vulnerabilities in computer hardware design. The 5-year project, which commenced on March 1, 2025, aims to develop abstract models and programming interfaces to represent microarchitectural vulnerabilities, enabling industry stakeholders to better incorporate...
This $347,792 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports the development of an end-to-end framework for designing, analyzing, and securing fine-grained hardware security primitives for resource-constrained embedded devices. The research aims to enhance the effectiveness of hardware-assisted security solutions, leading to lightweight and robust design-for-security capabilities for embedded...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award of $319,197 to William Marsh Rice University, doing business as Rice University, supports the development of new programming techniques to enable more efficient and reliable Internet of Things (IoT) applications. The project aims to create: (i) high-level programming abstractions and languages to help IoT developers express complex multi-device application logic, (ii) formal...
The National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) federal grant program (CFDA 47.070) awarded a $148,347 project grant to the University of Maine System (UMS) to develop a new framework for microelectronic security and trust. The key elements of the project are: Using reinforcement learning techniques to discover novel attack vectors against logic locking and identify root causes behind successful attacks. Leveraging explainable artificial intelligence...
This Project Grant award of $387,341 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to extend auto-active verification techniques to enable the verification of security and privacy properties, known as hyperproperties, for software systems. The key objectives of the three-year project are to: 1) develop new deductive logics and algebras to support automated reasoning about relationships between...
This $300,000 Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program supports the development of a new testing methodology to enhance the detection of internal defects in state-of-the-art integrated circuits. The research project aims to generate compact and efficient tests that can comprehensively cover a wide range of resistive defects within individual circuit cells, as well as capture the timing impact of a...