Project Grant 2339971
Award Date
3/1/24
Completion Date
2/28/29
Dollars Obligated
$219K
Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Gainesville, FL 32611, 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...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) award of $206,439 to the University of Florida provides funding for the development of a scalable, learning-guided hardware IP protection platform. The key products and services being delivered under this 4-year grant include: Utilizing reinforcement learning techniques to discover novel attack vectors against logic locking and identify root causes behind...
This National Science Foundation (NSF) Project Grant award under the Computer and Information Science and Engineering (CFDA 47.070) program provides $209,708 in funding to the University of Florida for a collaborative research project titled "VERIFUZZ: Light-Weight Formal Approaches for Scalable Hardware Fuzzing". The project aims to improve the scalability and effectiveness of hardware security validation and verification, particularly for modern embedded systems that rely on hardware...
This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program provides $183,868 to the University of Florida to develop formal methods for synthesizing and verifying in-memory computing systems for neural networks. The key objectives are to create algorithms for deploying robust AI models on emerging in-memory hardware, enhance the reliability of neural networks on in-memory circuits, and enable reduced...
The University of South Florida received a $287,406 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). The award will support research from April 2021 through March 2024 toward developing age-aware continuous authentication on personal computing devices. The Computer and Information Science and Engineering program aims to advance computing and communications research...
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 $190,210 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research at Kansas State University (KSU) to develop automated tools for assessing security vulnerabilities in hardware and software systems. The project aims to create AI-based techniques to automatically generate security assertions and identify potential security threats, including malicious microarchitectural activities. KSU...
The University of Florida was awarded a $331,244 project grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will support research from October 2021 through September 2023 to develop novel biologically inspired methods for analyzing multilayer networks. The Computer and Information Science and Engineering program aims to advance computing and informatics research, cyberinfrastructure development, and related...
Florida State University was awarded a $449,882 Project Grant from the National Science Foundation Division of Computing and Communication Foundations under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will fund collaborative research to develop automated word-level synthesis techniques for hardware code generation and verified abstraction. The research aims to advance methods for automatically synthesizing low-level hardware descriptions...
The National Science Foundation (NSF) awarded a 5-year, $214,287 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Research Foundation For The State University Of New York (RF SUNY), doing business as Stony Brook University. The goal of this research is to advance the foundations of formal methods in order to make formal verification of AI-based cyber-physical systems (CPS) practical. The project investigates approximation approaches where an...