Project Grant DESC0015999

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

The National Science Foundation awarded a $900,000 project grant to the University of California, San Diego to develop foundations, techniques, and frameworks for building end-to-end verified secure sandboxed systems from May 2022 through April 2026. This award falls under the 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. Specifically,...

The National Science Foundation (NSF) awarded a $462,473 Project Grant under the Computer and Information Science and Engineering (CISE) program to the University of New Hampshire (UNH) for the "SATC 2.0: RES: ENSURING THE SECURITY OF SAFETY-CRITICAL EMBEDDED SYSTEMS" project. This 4-year project, running from October 1, 2025 to September 30, 2029, aims to characterize and automatically discover vulnerabilities in embedded systems used in safety-critical infrastructure, such as vehicle...

This $150,000 federal Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program will fund the development of a new state-of-the-art tool called "HyperQB" that can mathematically prove the correctness of computing systems with respect to security and privacy policies. The key products and services to be delivered through this 2-year grant include: Significantly boosting the performance and capabilities...

This Project Grant award from the National Science Foundation (NSF) under the Technology, Innovation, and Partnerships (TIP) program (CFDA 47.084) provides $274,880 to Sakura Software Solutions, LLC to develop a digital engineering tool for integrated software and hardware reliability analysis. The project aims to create a cloud-based Software-as-a-Service (SaaS) platform that employs advanced data analytics and automation to revolutionize system reliability assessment across industries such...

The University of Virginia received a $374,876 project grant award from the National Science Foundation to conduct research titled "COLLABORATIVE RESEARCH: DASS: ACCOUNTABLE SOFTWARE SYSTEMS FOR SAFETY-CRITICAL APPLICATIONS" from October 1, 2021 through September 30, 2024. The grant was awarded under the NSF's Computer and Information Science and Engineering program (CFDA #47.070), which supports investigator-initiated research and education in all areas of computing, communications,...

This National Science Foundation Project Grant of $1,199,992 will support the development of Scenario-Specific Symbolic Execution (S3E), a customizable symbolic execution framework, at Arizona State University from May 1, 2023 through April 30, 2027. The grant is funded through the NSF's Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in all areas of computing, communications, and information science and...

This $300,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program will support a collaborative research project titled "SOCRATES: POST-SILICON VALIDATION OF HARDWARE-SOFTWARE INTERACTIONS." The project aims to develop a comprehensive foundational paradigm and tool suite to streamline post-silicon software validation for modern microelectronic computer chips. Key objectives include creating an architecture...

The National Science Foundation (NSF) awarded a $300,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the Illinois Institute of Technology (IIT) Sponsored Research and Programs Division. The grant aims to address the growing need for formal reasoning about the safety, security, and reliability of complex software systems when heterogeneous analysis methods are applied. The key products and services to be delivered through this 3-year award...