Rockwell Collins has been awarded a Defense Advanced Research Projects Agency, or DARPA, cybersecurity contract.
Rockwell Collins will use mathematical cyber defense techniques that the company and several partners developed under DARPA's High Assurance Cyber Military Systems, or HACMS, program.
"The Rockwell Collins HACMS team, including Galois, Data 61, HRL, and the University of Minnesota, developed technologies to achieve this high level of cyber-resilience," said a Rockwell Collins news release. "These include architectural modeling and analysis, a secure microkernel, and automatic generation of the application code. Each uses mathematical reasoning to ensure the absence of vulnerabilities that can be exploited in a cyber attack, improving the safety and security of critical electronic systems in military and commercial platforms."
