advancing cybersecurity through science
AI and Cybersecurity develops methods to protect critical AI algorithms and systems from accidental and intentional degradation and failure.
Trusted Systems involve level-based security where protection is provided and handled according to different levels.
Defense mechanisms can be categorized into groups such as Authentication and Encryption, Malware and Intrusion Detection, and Software Vulnerability.
The National Security Agency Research Directorate sponsors the Science of Security Initiative to promote foundational cybersecurity science that is needed to mature the cybersecurity discipline and to underpin advances in cyberdefense. The SoS initiative works in several ways. 1. Engage the academic community for foundational research, 2. Promote rigorous scientific principles, and 3. grow the SoS community. The SoS Virtual Organization is the SoS’s initiative online home.
Upcoming Events
-
12/02/2025 – 12/05/2025 28th Brazilian Symposium on Formal Methods (SBMF’25)
We are pleased to invite you to participate in the 28th Brazilian Symposium on Formal Methods (SBMF’25), which will be held at the Northeast Strategic Technologies Center – CETENE, Brazil, from December 02-05, 2025. -
12/08/2025 – 12/08/2025 18th Cyber Security Experimentation and Test Workshop (CSET)
The 18th Cyber Security Experimentation and Test Workshop (CSET) will be held on Monday December 8, 2025, in Honolulu, Hawaii, in conjunction with the 2025 Annual Computer Security Applications Co -
03/07/2026 – 03/09/2026 MODELSWARD 2026
The International Conference on Model-Based Software and Systems Engineering provides a platform for participants from all over the world to present research results and application experience in using model-based techniques for developing all sorts of… -
04/13/2026 – 04/14/2026 SEAMS 2026
SEAMS is a CORE-A ranked conference that applies software engineering methods, techniques, processes, and tools to support the construction of safe, performant, and cost-effective self-adaptive and autonomous systems that provide self-* properties like…