Cybersecurity firm Atalanta has released a commercial product called Argo that incorporates artificial intelligence and advanced mathematics to identify vulnerabilities in software and internet-connected systems. The technology was instrumental in securing Viasat’s satellite communications network following a significant Russian hacking operation in 2022 that disabled thousands of satellite modems across Ukraine and other European nations.
Atlanta’s leadership describes the underlying approach as “software understanding,” which combines sophisticated mathematical analysis with AI capabilities to provide comprehensive system vulnerability assessments. Company officials contend this represents a meaningful advancement in defensive cybersecurity capabilities as threats to critical infrastructure continue to evolve. Recent years have seen increased concerns about both Russian and Iranian cyber activities targeting essential systems, with government agencies warning of Iranian hackers targeting water and wastewater infrastructure among other vital assets.
The technology has attracted attention from U.S. defense and energy sectors. The Department of Energy selected Atalanta’s system for the Genesis Mission, an initiative focused on developing autonomous nuclear reactors. Greg Shannon, chief cybersecurity scientist at Idaho National Laboratory, suggested such technology will likely become standard in development and testing procedures within the coming years as organizations seek more rigorous validation methods.
The emergence of Argo reflects decades of investment by the Defense Advanced Research Projects Agency, or DARPA, in advancing formal methods and software security technologies. According to Shannon, DARPA has invested over $2 billion across various programs in this space. Pentagon leadership has expressed strong interest in the approach, with the former chief technology officer indicating the mathematical foundations of Atalanta’s work should become the Department of Defense’s standard for cybersecurity practices.
Article Attribution | Read More at Article Source
Article summary produced by Claude AI