3 papers
cs.CR2026
i-EXAM: Instructable and Explainable Attack Connectivity Graph Modeler
Rakesh Podder, Wadia Ganim, Sarath Sreedharan +2
i-EXAM is a planning-powered tool that helps system administrators to create security profiles of complex networks and perform what-if analyses to identify network hardening strate…
cs.CR2025
SPEAR: Security Posture Evaluation using AI Planner-Reasoning on Attack-Connectivity Hypergraphs
Rakesh Podder, Turgay Caglar, Shadaab Kawnain Bashir +3
Graph-based frameworks are often used in network hardening to help a cyber defender understand how a network can be attacked and how the best defenses can be deployed. However, inc…
cs.LG2024
Tiled Bit Networks: Sub-Bit Neural Network Compression Through Reuse of Learnable Binary Vectors
Matt Gorbett, Hossein Shirazi, Indrakshi Ray
Binary Neural Networks (BNNs) enable efficient deep learning by saving on storage and computational costs. However, as the size of neural networks continues to grow, meeting comput…