1 citations · 2 across the 4 of their papers we have counts for
5 papers
Reasoning about Complex Networks: A Logic Programming Approach
Paulo Shakarian, Gerardo I. Simari, Devon Callahan
Reasoning about complex networks has in recent years become an important topic of study due to its many applications: the adoption of commercial products, spread of disease, the di…
FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks
Devon Callahan, Timothy Curry, Hazel Davidson +3
Maintaining a resilient computer network is a delicate task with conflicting priorities. Flows should be served while controlling risk due to attackers. Upon publication of a vulne…
DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks
Timothy Curry, Devon Callahan, Benjamin Fuller +1
Networks are designed with functionality, security, performance, and cost in mind. Tools exist to check or optimize individual properties of a network. These properties may conflic…
Mining for Geographically Disperse Communities in Social Networks by Leveraging Distance Modularity
Paulo Shakarian, Patrick Roos, Devon Callahan +1
Social networks where the actors occupy geospatial locations are prevalent in military, intelligence, and policing operations such as counter-terrorism, counter-insurgency, and com…
Shaping Operations to Attack Robust Terror Networks
Devon Callahan, Paulo Shakarian, Jeffrey Nielsen +1
Security organizations often attempt to disrupt terror or insurgent networks by targeting "high value targets" (HVT's). However, there have been numerous examples that illustrate h…