
Workflows, Tools, & Research Concepts
SECURE Handbook Sept 2021
Journal & Conference Publications
Defender Policy Evaluation and Resource Allocation Using MITRE ATT&CK Evaluations Data IEEE Transactions on Dependable and Secure Computing, Upcoming Issue
EIGA: Elastic and Scalable Dynamic Graph Analysis SC21, Nov 2021
Comparing Reproduced Cyber Experimentation Studies Across Different Emulation Testbeds CSET Virtual Workshop, Aug 2021
Exploration of Multifidelity UQ Sampling Strategies for Computer Network Applications International Journal for Uncertainty Quantification, Volume 11, Issue 1
A Trilevel Model for Segmentation of the Power Transmission Grid Cyber Network IEEE Systems, Aug 2021
Shared-Memory Scalable k-Core Maintenance on Dynamic Graphs and Hypergraphs IPDPS Workshops, May 2021
Cyber Threat Modeling and Validation: Port Scanning and Detection 7th Annual Hot Topics in the Science of Security (HoTSoS) Symposium, Sept 2020
A Scalable Graph Generation Algorithm to Sample Over a Given Shell Distribution IPDPS Workshops, May 2020
Cyber-Physical Emulation and Optimization of Worst-Case Cyber Attacks on the Power Grid IEEE Resilience Week, Nov 2019
SECURE: An Evidence-based Approach to Cyber Experimentation (White Paper) IEEE Resilience Week, Nov 2019
Project Reports
Shortest Path Network Interdiction with Asymmetric Uncertainty March 2022
SECURE Final Report Sept 2021
Foundations of Rigorous Cyber Experimentation Sept 2021