Alt text

The SECUREGC Team

DEREK HART | Program Manager

Derek has been key contributor to the Emulytics community for 12 years, both as a technical staff member and a manager. As a staff member, he led design and development of SCEPTRE, which is Sandia’s toolset for creating OT/ICS Emulytics environments. Additionally, he led key interactions with government partners in DoD to push the state-of-the-art in Sandia’s emulation capabilities. In 2018, Derek transitioned into a management role and is a contributing member to Sandia’s labs-wide Emulytics Council. He still stewards Sandia’s SCEPTRE capability and has other capability responsibilities in the quantification of cyber resilience to better inform decisionmakers in all area of government about the robustness and survivability of key systems. Derek manages a varied portfolio of R&D work focused on improving all aspects of the Emulytics pipeline from data collection to system understanding to experimental setup and deployment. His current strategic thrust is to provide rigor and understanding of mission-informed cyber systems.

ALI PINAR | Principal Investigator

Ali is an expert in network analysis and graph mining. He has over 80 publications in refereed journals and conference proceedings, including multiple paper awards. Pinar received an Individual Technical Excellence Award from Sandia and Distinguished Scientist award from Assoc. Computing Machinery (ACM). He currently serves on the editorial boards of Society of Industrial and Applied Mathematics (SIAM) J. Scientific Computing, SIAM J., Mathematics of Data Science, SIAM News, and J. Complex Networks. He has initiated SIAM workshop series on Networks Science and serves as the chair of its steering committee. He was elected as the chair of SIAM activity group on Supercomputing for 2015-2016, and is currently serving as chair of SIAM activity group on Data Mining and Analytics.

E. Sariyuce, C. Seshadhri, and A. Pinar, \Local Algorithms for Hierarchical Dense Subgraph Discovery," to appear in Proceedings of the VLDB Endowment, 2019.

J. Cheng, R. Chen, H. Najm, A. Pinar, C. Safta, and J.Watson, \Distributionally Robust Optimization with Principal Component Analysis," to appear in SIAM J. Optimization.

J. Cheng, R. Chen, H. Najm, A. Pinar, C. Safta, and J. Watson, \Chance Con- strained Economic Dispatch Problem with Renewable Energy and Energy Stor- age," to appear in Computational Optimization and Applications.

E. Sariyuce and A. Pinar, \Fast Hierarchy Construction for Dense Subgraphs," Proceedings of the VLDB Endowment, Vol. 10, No. 3, Nov. 2016, pages 97-108 preprint available as arXiv:1610.01961.

C. Quinn, A. Pinar, and N. Kiyavash, \Bounded Degree Connected Approxima- tions of Stochastic Networks," to appear in IEEE Transactions on Molecular, Biological, and Multi-Scale Communications, Vol: 3, No: 2, pages: 79-88, 2017. preprint available as: arXiv:1506.04767

E. Sariyuce, C. Seshadhri, A. Pinar, and U. Catalyurek, \Nucleus Decomposi- tions for Identifying Hierarchy of Dense Subgraphs," ACM Transactions on the Web, Vol. 11, No: 3, pages: 16:1{16:27, 2017.

S. Aksoy, T. Kolda, A. Pinar, \Measuring and Modeling Bipartite Graphs," in Journal of Complex Networks, Volume 5, Issue 4, 1 August 2017, Pages 581?603; preprint: arXiv:1607.08673.

C. Safta, R. Chen, H. Najm, A. Pinar, and J. Watson, \E_cient Uncertainty Quanti_cation in Stochastic Economic Dispatch," to appear in IEEE T. Power Systems, preprint available as: arXiv:1508.04731.

J. Bennett, A. Bhagatwala, J. Chen, C. Seshadhri, A. Pinar, and M. Salloum, \Trigger Detection for Adaptive Scienti_cWorkows Using Percentile Sampling," SIAM Journal on Scienti_c Computing, Vol. 38, No. 5, pp. S240{S263; preprint available as: arXiv:1506.08258

C. Seshadhri, A. Pinar, N. Durak, and T. Kolda, \Directed closure measures for networks with reciprocity," in Journal of Complex Networks Volume 5, Issue 1, 1 March 2017, pages: 32?47; preprint available as arXiv:1302:6220

LAURA SWILER | Uncertainty Quantification Research Lead

Laura is a Distinguished Member of the Technical Staff in the Center for Computing Research (1400).  She has twenty-four years of experience in uncertainty analysis and risk assessment. Laura started her career at Sandia working in reliability assessment for weapons applications and nuclear waste repository assessment. For the past sixteen years, Laura has focused on sensitivity analysis, model validation, and uncertainty quantification of computational simulations. Some of Laura’s research interests include:  sensitivity analysis for high-dimensional inputs, use of surrogate or meta-models for optimization and extrapolation, and calibration of model parameters in the presence of both experimental and model uncertainty. Laura is a lead developer of the Dakota software framework for optimization and uncertainty quantification.

G. Geraci, L.P. Swiler, J. Crussell, B. Debusschere. "Exploration of Multifidelity approaches for Uncertainty Quantification in Network Applications." 3rd International Conference on Uncertainty Quantification in Computational Sciences and Engineering in Crete, Greece. SAND2019-3274C

K. A. Maupin, L. P. Swiler, and N. W. Porter. “Validation Metrics for Deterministic and Probabilistic Data.” ASME J. Verif. Valid. Uncert. 2019; 3(3):031002-031002-10. doi: 10.1115/1.4042443

P. E. Mariner, L. P. Swiler, D. T. Seidl, B. J. Debusschere, J. Vo, J. L. Jerden. "High fidelity surrogate modeling of fuel dissolution for probabilistic assessment of repository performance." International High Level Radioactive Waste Management conference, April 2019. SAND2019-1917C.

A.E. Tallman, L.P. Swiler, Y. Wang, and D.L. McDowell. “Reconciled Top-Down and Bottom-Up Hierarchical Multiscale Calibration of BCC FE Crystal Plasticity.” International Journal for Multiscale Computational Engineering, 15(6):505-523 (2017).

Co-editor of special issue, with Yan Wang of Georgia Tech: ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering. Special Issue on Uncertainty Quantification in Multiscale System Design and Simulation. Special issue editors Yan Wang and Laura Swiler. ASME J. Risk Uncertainty Part B. 2017; 4(1):010301-010301-2.

B.L. Boyce, B.C. Salzbrenner, J.M. Rodelas, L.P. Swiler, J.D. Madison, B.H. Jared, and Y-L. Shen. “Extreme-Value Statistics Reveal Rare Failure-Critical Defects in Additive Manufacturing.” (2017), Advanced Engineering Materials. 1700102. doi:10.1002/adem.201700102

L. P. Swiler, B.M. Adams, M.S. Eldred. “Dakota: Bridging Advanced Scalable UQ Algorithms with Production Deployment.” In Springer Handbook on Uncertainty Quantification, Ghanem R., Higdon D., Owhadi H. (eds). 2015. https://doi.org/10.1007/978-3-319-11259-6_52-1.

A. P. Thompson, L.P. Swiler, C.R. Trott, S.M Foiles, G. Tucker. “Spectral neighbor analysis method for automated generation of quantum-accurate interatomic potentials.” Journal of Computational Physics. Vol. 285 (2015) pp. 316–330. doi:10.1016/j.jcp.2014.12.018

G. Pastore, L.P. Swiler, J.D. Hales, S.R. Novascone, D.M. Perez, B.W. Spencer, L. Luzzi, P. Van Uelen, R.L. Williamson. “Uncertainty and sensitivity analysis of fission gas behavior calculations for engineering-scale fuel modeling.” Journal of Nuclear Materials, Vol. 456, Jan. 2105, pp. 398-408.

L. P. Swiler, P. D. Hough, P. Qian, X. Xu, C. Storlie, and H. Lee. “Surrogate models for mixed discrete-continuous variables.” In Constraint Programming and Decision Making. Studies in Computational Intelligence Series, Volume 539, 2014, pp. 181-202. Springer International Publishing Switzerland, 2014.

ANYA CASTILLO | Optimization Research Lead

Anya leads the optimization team and is an expert in mixed-integer nonlinear programming for grid optimization. She is currently a PI in DOE’s Office of Electricity Advanced Grid Modeling (AGM) portfolio and a task lead for Sandia on the North American Energy Resilience Model (NAERM), which is a multi-lab initiative. She is a well-published researcher in the area of power grid optimization and economics, and prior to joining Sandia in 2016, Anya co-authored the “Optimal Power Flow and Formulation Papers” in the FERC’s initiative: Increasing Efficiency through Improved Software. Her current research interests include advancing the state-of-the-art in optimization and machine learning techniques for application in enhancing the resilience of critical infrastructures.

“Stochastic Optimization with Risk Aversion for Virtual Power Plant Operations: A Rolling Horizon Control.” Anya Castillo, Jack Flicker, Jay Johnson, Clifford Hansen and Jean-Paul Watson. IET Generation, Transmission & Distribution, Early Access, November 2018.

“Global Solution Strategies for the Network-Constrained Unit Commitment Problem with AC Transmission Constraints.” Jianfeng Liu, Carl D. Laird, Joseph K. Scott, Jean-Paul Watson and Anya Castillo. IEEE Transactions on Power Systems, Early Access, October 2018.

“Tightening McCormick Relaxations Toward Global Solution of the ACOPF Problem.” Michael Bynum, Anya Castillo, Jean-Paul Watson and Carl D. Laird. IEEE Transactions on Power Systems, 34(1), 814-817, 2019.

“Evaluating the Effects of Real Power Losses in Optimal Power Flow Based Storage Integration.” Anya Castillo and Dennice F. Gayme. IEEE Transactions on Control of Network Systems, 5(3), 1132-1145, 2017.

“An Improved Method for the DCOPF with Losses.” Brent Eldridge, Richard P. O’Neill and Anya Castillo. IEEE Transactions on Power Systems, 33(4), 3779-3788, 2018.

“Profit Maximizing Storage Integration in AC Power Networks.” Anya Castillo and Dennice F. Gayme IMA volume on Energy Markets and Responsive Grids, 251-280, Springer, 2017.

“Dual Pricing Algorithms in ISO Markets.” Richard P. O’Neill, Anya Castillo, Brent Eldridge and Robin B. Hytowitz. IEEE Transactions on Power Systems, 32(4), 3308-3310, 2017.

“Running a More Complete Market with the SLP-IV-ACOPF.” Paula A. Lipka, Anya Castillo, Jean-Paul Watson and Richard P. O’Neill. IEEE Transactions on Power Systems, 32(2), 1139-1148, 2017.

“The Unit Commitment Problem with AC Optimal Power Flow Constraints.” Anya Castillo, Carl Laird, Cesar A. Silva-Monroy, Jean-Paul Watson and Richard P. O’Neill. IEEE Transactions on Power Systems, 31(6), 4853-4866, 2016.

“A successive linear programming approach to solving the IV-ACOPF.” Anya Castillo, Paula A. Lipka, Jean-Paul Watson, Shmuel S. Oren and Richard P. O’Neill. IEEE Transactions on Power Systems, 31(4), 2752-2763, 2016.

TOM TARMAN | Emulytics Research Lead

Tom is a Distinguished Member of the Technical Staff at Sandia National Laboratories, where he has almost 30 years of experience in information systems security research. He is currently leading projects that are developing cyber security experimentation practices for high consequence systems, and is the network emulation team lead for the SECURE (Science and Engineering of Cybersecurity through Uncertainty Quantification and Rigorous Experimentation) research project.

T. D. Tarman, A. Ganti, and J. D. Tang, “Multi-service network design validation using OPNET,” Proceedings OPNETWORK 2003, August 2003.

T. D. Tarman, E. L. Witzke, and L. G. Pierson, “Enforced isolation of processes and data,” IEEE Aerospace and Electronic Systems, vol. 18, no. 8, pp. 9-12, August 2003.

T. D. Tarman, et. al., “On the use of trusted objects to enforce isolation between processes and data,” Proceedings of IEEE International Carnahan Conference on Security Technology, October 2002.

T. D. Tarman and E. L. Witzke, Implementing Security for ATM Networks, Artech House Publishers, 2002.

T. D. Tarman, et. al., “Asynchronous Transfer Mode (ATM) intrusion detection,” Proceedings of IEEE/AFCEA MILCOM 2001, October 2001.

T. D. Tarman and E. L. Witzke, “Intrusion detection considerations for switched networks,” Proceedings of SPIE, Enabling Technologies for Law Enforcement and Security, vol. 4232, November 2000.

J. A. Friesen and T. D. Tarman, “Remote high-performance visualization and collaboration,” IEEE Computer Graphics and Applications, vol. 20, no. 4, pp. 45-49, July 2000.

T. D. Tarman, L. Stans, and T. C. Hu, “A simulation study of the Virtual Interface Architecture,” Proceedings OPNETWORK ’99, August 1999.

T. D. Tarman, et. al., “Algorithm-agile encryption in ATM networks,” IEEE Computer, vol. 31, no. 9, pp. 57-64, September 1998.

P. E. Sholander, T. D. Tarman, L. G. Pierson, and R. L. Hutchinson, “The effect of algorithm-agile encryption on ATM quality of service,” Proceedings IEEE Globecom ’97, November 1997.