Project Grant N000142412486

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 National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award, with a total funding of $175,000, supports the development of novel verification methodologies to enhance software quality, safety, and security for safety-critical and security-critical applications such as self-driving cars and digital medical services. The project aims to develop verification techniques based on first-order assertions and auxiliary logical variables,...

This Project Grant award, provided by the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to address scalability and usability challenges in hardware formal verification. The $550,000 award, with a performance period from Oct 1, 2024 to Sep 30, 2027, will be conducted by the Trustees of Princeton University. The key products and services to be delivered under this grant include: 1) developing architecture-driven...

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...

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...

The National Science Foundation awarded Securesemi Corp a $255,957 Project Grant under the Engineering federal grant program (CFDA 47.041) on November 15, 2021 for work completing October 31, 2022. The grant funds the SBIR PHASE I project "SECURITY EVALUATION PLATFORM FOR AUTOMATING INCLUSION OF HARDWARE SECURITY IN INTEGRATED CIRCUIT DESIGN" based in Milpitas, California. The Engineering program seeks to improve quality of life and economic strength through fostering innovation and...

This $533,000 Project Grant, awarded by the National Science Foundation (NSF) Office of Advanced Cyberinfrastructure under the Computer and Information Science and Engineering (CFDA 47.070) program, supports collaborative research by the Massachusetts Institute of Technology (MIT) to develop end-to-end formal verification techniques for hardware accelerators, specifically tensor processing units (TPUs). The key objectives are to dramatically reduce the costs of developing and iterating on...

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 $375,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program will fund the development of new technology to verify network-wide properties of dynamic data planes at Princeton University from October 2022 through September 2025. Specifically, the researchers will create formal specification and verification tools to check network configurations prior to deployment and monitor configurations as they execute. These tools will use a...

This 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), provides $612,648 to Worcester Polytechnic Institute to develop new methods for securing embedded software. The awardee will shift security enforcement from developers to compilers using static analysis, runtime instrumentation, and hardware support. Enhancements will enable customization and promote longevity....