North Dakota State University received a $352,167 Project Grant award from the National Science Foundation on October 1, 2021 to develop formal verification techniques for microprocessor security vulnerabilities and trojans. The grant is part of NSF's Computer and Information Science and Engineering program (CFDA #47.070), which supports investigator-initiated research and education in computing, communications, and information science and engineering. Through this three-year award expiring September 30, 2024, NDSU researchers will advance the development and use of formal verification methods to identify security weaknesses and malicious hardware modifications in microprocessors that could be exploited by attackers. The research aims to enhance cybersecurity and trust in computing systems.
Mod # | Description | Reason For Modification | Federal Obligation (Click to sort descending) | Date (Click to sort ascending) |
|---|---|---|---|---|
| Not listed | $352.2k | 7/1/21 |