Project Grant 2223046
Award Date
10/1/22
Completion Date
9/30/25
Dollars Obligated
$290K
Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Richardson, TX 75080, USA
Similar Awards
The University of Florida was awarded a $305,000 project grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070) to develop tools and methods for information flow validation in system-on-chip designs. The three-year award running from October 1, 2022 to September 30, 2025 will support research to create a scientific foundation and comprehensive automated framework of integrated tools to systematically address challenges in...
The National Science Foundation (NSF) awarded a $749,998 Project Grant under the Computer and Information Science and Engineering (CISE) program to William Marsh Rice University. The 4-year grant, which commenced on October 1, 2023, supports the development of a rigorous approach for monitoring the operation of integrated circuits and the design of a software toolchain and hardware prototype that realizes these monitors. The project aims to advance the reliability, safety, and security of the...
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...
The National Science Foundation Division of Computer and Network Systems awarded a $731,838 Project Grant to the University of Texas at Dallas to develop algorithms and techniques for learning the hidden structure of digital and analog circuits from side-channel measurements. This work aims to advance hardware security and integrity checking by allowing adaptive interaction with circuits to intelligently model arbitrary analog circuit side-channels and utilize non-linear solvers and...
This $900,000 project grant from the National Science Foundation Office of Advanced Cyberinfrastructure, under the Computer and Information Science and Engineering program (CFDA 47.070), will support the development of hardware intellectual property protection through hybrid ASIC/TRAP integrated circuit design. The University of Texas at Dallas, in collaboration with other academic institutions and industrial partners, will transition transistor-level programmable (TRAP) fabric technology to...
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 $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 $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 $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...
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...