Brendan Saltaformaggio leads a $10M DARPA-funded effort to update critical defense software.