Project Grant 2223045
Award Date
10/1/22
Completion Date
9/30/25
Dollars Obligated
$305K
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
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 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...
The University of Florida Division of Sponsored Research received a $218,784 Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program. The award, titled "SAIF: SECURITY ASSURANCE THROUGH AI AND FORMAL APPROACHES FOR SYSTEM-ON-CHIPS", will develop an AI-assisted security verification framework to enhance the security of integrated circuits used in critical applications such as financial services, military, healthcare,...
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...
The University of Florida was awarded a three-year, $300,000 Project Grant from the National Science Foundation's (NSF) Computer and Information Science and Engineering program (CFDA 47.070) to conduct research towards variability-aware software analysis and testing. The university will extend software analysis techniques to automatically extract feature constraints from program code and check them against requirements specifications. Researchers will leverage variability-aware symbolic...
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...
This Project Grant award, totaling $599,493, was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program. The award, titled "SHF: SMALL: A COMMUNICATION-CENTRIC VALIDATION FRAMEWORK FOR SYSTEM-ON-CHIP DESIGNS," aims to develop a holistic framework that integrates novel solutions to overcome the limitations of existing pre-silicon verification and post-silicon validation methods for system-on-chip...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Program grant, with a total funding amount of $213,716, was awarded to the University of Central Florida (UCF) on March 1, 2024. The 5-year project will investigate techniques to systematically identify and mitigate microarchitectural information leakage vulnerabilities in modern computer systems. Key research efforts include: 1) developing microarchitecture-level models and analysis frameworks to...
The University of Florida was awarded a three-year, $105,999 Project Grant from the National Science Foundation's STEM Education program (CFDA 47.076) to support the collaborative research project "COLLABORATIVE RESEARCH: SATC: EDU: HARDWARE SECURITY EDUCATION FOR ALL THROUGH SEAMLESS EXTENSION OF EXISTING CURRICULA." Under this award, the University of Florida will work to develop and integrate hardware security education modules into existing computer science and engineering...