A SBIR Phase I contract was awarded to Dover Microsystems in October, 2021 for $49,113.0 USD from the U.S. Department of Defense and United States Air Force.
Software, despite our best efforts, continues to have errors (aka bugs) that can be exploited by attackers to modify the intended behavior of software-intensive systems. The only two ways to address this problem are to either (1) develop software without