RTX BBN Technologies Releases Maude-HCS

RTX Corporation's subsidiary, RTX Corporation===BBN Technologies, has released Maude-HCS, an open-source toolkit designed for cyber defense teams to model, test, and validate covert communication networks. Funded by the United States===Defense Advanced Research Projects Agency (DARPA) under its PWND2 program, the toolkit is available on GitHub. Maude-HCS provides rigorous guarantees on performance, scalability, and privacy for hidden communication systems, which are crucial for internet freedom and national security efforts, enabling safe information exchange in high-risk environments. Dr. Joud Khoury, principal investigator at RTX RTX Corporation===BBN Technologies, highlighted its potential to fundamentally change how the national security community builds and validates covert communication channels. The tool accelerates validation processes, operates on standard hardware, and fosters open-source collaboration, ultimately strengthening United States cyber defense and protecting critical infrastructure.