As artificial intelligence becomes increasingly involved in consequential decision-making, researchers are examining not only how these systems affect individuals subject to their decisions, but also how AI may transform the

Amazon is seeking Ph.D. students working in automated reasoning, formal methods, and formal verification for its 2027 Applied Science Internship program.

CPS-IoT Week 2027 Seeks Workshop, Tutorial and Competition Proposals Proposal Deadline: November 5, 2026

Call for Papers: CPS-IoT Week 2027 Submission Deadline: November 5, 2026

The Nineteenth NASA Formal Methods SymposiumMay 11-13 2027 University of Houston Clear Lake, Houston, Texas, USA

Securing the 2026 FIFA World Cup required coordinating an enormous network of people, technologies, facilities, and public-safety organizations across multiple cities and jurisdictions. The U.S.

The National Security Agency (NSA), Federal Bureau of Investigation (FBI), and partner organizations have released new joint cybersecurity guidance to help network defenders identify and protect against Gunra ransomware, an

Scientific research and technological innovation are becoming increasingly central to national security strategy. That was the key message delivered by Professor Danielle George CBE, the United Kingdom's Chief Scientific Adviser for National Security,…

The University of Texas at San Antonio (UT San Antonio) has once again been recognized as a national leader in cybersecurity after receiving the National Security Agency's (NSA) designation as a National Center of Ac

The software certification and approval process has long been a challenge in thedevelopment lifecycle. Recently, under the auspices of DARPA, Lockheed Martin began

Applications are now open for the 2026 Marktoberdorf Summer School, a premier international program focused on engineering secure and dependable software systems.