As Bostonians prepare to travel during the summer, the Transportation Security Administration is issuing warnings about cybersecurity threats to consider. In a social media post, TSA cautioned travelers about charging their devices using the USB ports found throughout airports. Hackers can install malware on the ports, infecting your devices once connected, also known as juice/port jacking.

"I always thought it was safe, to be able to use that in the airport," said one traveler at Logan airport.

We're excited to announce the launch of the Automated Rapid Certification Of Software (ARCOS) Tool Portal — a new DARPA-supported virtual resource for the research and development and certification communities.

The ARCOS Tool Portal provides open access to simulators, verification tools, and tool suites that enable high-quality software assurance evidence generation and evaluation.

🔗 https://arcos-tools.org/

Lewiston, NY — On Tuesday, May 6, Niagara University welcomed guests to an engaging evening of expert analysis and discussion on the current cybersecurity landscape and emerging risk trends for 2025. Held at Western New York’s only NSA-designated Center of Academic Excellence in Cyber Defense, the event attracted a diverse audience of professionals, students, and community members eager to deepen their understanding of this rapidly evolving field.

The Trusted Computing Center of Excellence™ (TCCoE™) invites collaboration from educators, researchers, and practitioners committed to advancing formal methods and trustworthy systems. As part of our national education and training initiative, we’re seeking partners to help shape curriculum, develop materials, and expand outreach.

As the Pentagon accelerates the development of AI-driven weapons and autonomous systems, a critical vulnerability emerges: the unpredictability of these systems under real-world battlefield conditions. Traditional testing methods fall short in ensuring reliability and security. In a recent Defense One article, experts Anjana Rajan and Jonathan Ring argue that mathematical proof is essential to guarantee that AI systems behave as intended, even in unforeseen scenarios. They highlight that without such rigorous verification, adversaries could explo

The Georgia Institute of Technology has once again demonstrated its cybersecurity prowess by clinching first place in the National Security Agency's (NSA) Codebreaker Challenge (CBC) for the fourth consecutive year. This annual competition tasks students with solving complex, mission-oriented scenarios that mirror real-world challenges faced by NSA professionals, including reverse engineering, cryptanalysis, and vulnerability analysis.​