The National Science Foundation (NSF) awarded a $1,200,000 Project Grant under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to the University of Utah Office of Sponsored Projects Division. The grant, titled "CICI: TCR: PRACTICAL, SYSTEMATIC FUZZ TESTING FOR SECURING SCIENTIFIC SOFTWARE," aims to develop tools and techniques for thorough, systematic fuzzing of complex scientific software to enhance overall security and reduce the likelihood of future software-borne security breaches. The project will focus on (1) performant instrumentation with cross-language support, (2) fully-automated synthesis of fuzzing harnesses, and (3) automated mining of formal input specifications. The tools and techniques developed through this award are expected to be deployed on large-scale cyberinfrastructure through the University of Utah's ACCORD initiative and in collaboration with national laboratory partners. Subawards are planned as part of this grant, which has an award period from October 1, 2024, to September 30, 2027.
Generated 2/25/25, 3:53 AM