A Computational Framework for Certificate Policy Operations. - Gabriel A. Weaver; Scott A. Rea; Sean W. Smith (EuroPKI, 2009)

Computational techniques for increasing PKI policy comprehension by human analysts. - Gabriel A. Weaver; Scott A. Rea; Sean W. Smith (IDtrust, 2010)

Using Hierarchical Change Mining to Manage Network Security Policy Evolution. - Gabriel A. Weaver; Nicholas J. Foti; Sergey Bratus; Daniel N. Rockmore; Sean W. Smith (Hot-ICE, 2011)

XUTools: Unix Commands for Processing Next-Generation Structured Text. - Gabriel A. Weaver; Sean W. Smith (LISA, 2012)

Toward a cyber-physical topology language: applications to NERC CIP audit. - Gabriel A. Weaver; Carmen Cheh; Edmond Rogers; William H. Sanders; Dennis Gammel (SEGS@CCS, 2013)

An Actor-centric, Asset-Based Monitor Deployment Model for Cloud Computing. - Uttam Thakore; Gabriel A. Weaver; William H. Sanders (UCC, 2013)

Security-Policy Analysis with eXtended Unix Tools. - Gabriel A. Weaver (2013)

Cyber-Physical Topology Language: Definition, Operations, and Application. - Carmen Cheh; Gabriel A. Weaver; William H. Sanders (PRDC, 2015)

PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure. - Varun Badrinath Krishna; Gabriel A. Weaver; William H. Sanders (QEST, 2015)

F-DETA: A Framework for Detecting Electricity Theft Attacks in Smart Grids. - Varun Badrinath Krishna; Kiryung Lee; Gabriel A. Weaver; Ravishankar K. Iyer; William H. Sanders (DSN, 2016)

A Quantitative Methodology for Security Monitor Deployment. - Uttam Thakore; Gabriel A. Weaver; William H. Sanders (DSN, 2016)

Cyber-Physical models for power grid security analysis: 8-substation case. - Gabriel A. Weaver; Kate Davis 001; Charles M. Davis; Edmond J. Rogers; Rakesh B. Bobba; Saman A. Zonouz; Robin Berthier; Peter W. Sauer; David M. Nicol (SmartGridComm, 2016)

Cyber-Physical simulation and Optimal Mitigation for Shipping Port Operations. - Gabriel A. Weaver; Lavanya Marla (WSC, 2018)

Stakeholder-Centric Analyses of Simulated Shipping Port Disruptions. - Gabriel A. Weaver; Mark Van Moer; Glen R. Salo (WSC, 2019)

Coastal Infrastructure Monitoring through Heterogeneous Autonomous Vehicles. - Tauhidul Alam; Alexander Campaneria; Mathew Silva; Leonardo Bobadilla; Gabriel A. Weaver (IRC, 2020)

Scientific Data Management for Interconnected Critical Infrastructure Systems. - Gabriel A. Weaver (JCDL, 2021)

A Data Processing Pipeline For Cyber-Physical Risk Assessments Of Municipal Supply Chains. - Gabriel A. Weaver (WSC, 2021)

Simulating Energy and Security Interactions in Semiconductor Manufacturing: Insights from the Intel Minifab Model. - Gabriel A. Weaver; Jacob Shusko; John J. Hasenbein; Erhan Kutanoglu; Gonzalo Martinez-Medina; Krystel K. Castillo-Villar; Paulo C. G. Costa (WSC, 2022)