A Defense Advanced Research Projects Agency image represents DARPA’s High-Assurance Cyber Military Systems program, which seeks to create technology for constructing systems that are functionally correct and satisfy safety and security properties. DoD graphic A Defense Advanced Research Projects Agency image represents DARPA’s High-Assurance Cyber Military Systems program, which seeks to create technology for constructing systems that are functionally correct and satisfy safety and security properties. DoD graphic SHARE IMAGE: Download Image: Full Size (1.42 MB) Photo By: VIRIN: 496324-K-VAC94-835.jpg Photo Gallery