Follow

Submissions from 2017

Link

Investigating a Raspberry Pi Cluster for Detecting Anomalies in the Smart Grid, Kasey Candelario, Chris Booth, Aaron St. Leger, and Suzanne J. Matthews

Link

Real-time Regex Matching with Apache Spark, Sean M. Deaton, David C. Brownfield, Leonard R. Kosta, Zhaozhong Zhu, and Suzanne J. Matthews

Link

Sociocultural Models of Nuclear Deterrence, Geoffrey P. Morgan, Michael J. Lanham, William Frankenstein, and Kathleen Carley

Link

Cyber Defense via Event-Based Modeling: An Approach for Modeling and Querying System of Systems Behaviors for Unwanted States, Joey Rivera

Link

Cyber Security via Formal Methods: A Framework for Implementing Formal Methods, Joey Rivera