AI-based Cyber-Physical System B. Challenges and Ongoing Research... | Download Scientific Diagram
Rise of the hacking machines - CNET
Systems | Free Full-Text | VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System
GitHub - ucsb-seclab/hacrs: The human-assisted cyber reasoning system
Cyber Reasoning Systems will disrupt the Cyber Security Industry as we know it.
CyPhERS: A cyber-physical event reasoning system providing real-time situational awareness for attack and fault response - ScienceDirect
Trail of Bits | Cyber Reasoning System (CRS)
Cyber Grand Challenge
ACM CCS 2017 - Rise of the HaCRS - Augmenting Atonomous Cyber Reasoning [...] - Yan Shoshitaishvili - YouTube
PDF] Rise of the HaCRS: Augmenting Autonomous Cyber Reasoning Systems with Human Assistance | Semantic Scholar
PDF] The Mayhem Cyber Reasoning System | Semantic Scholar
Machine Learning Algorithms Power Security Threat Reasoning and Analysis - NSFOCUS, Inc., a global network and cyber security leader, protects enterprises and carriers from advanced cyber attacks.
PDF] SecureFalcon: The Next Cyber Reasoning System for Cyber Security | Semantic Scholar
Efficient Decision Procedures for Design Exploration and Reasoning About Heterogeneous Systems – DesCyPhy Lab
Open sourced: Cyber reasoning system that won third place in DARPA's Cyber Grand Challenge - Help Net Security