Publications

Vanderveen, Keith V.

Abstract not provided.

Minnich, Ronald G.; Rudish, Don W.; Floren, John F.; Sweeney, Andrew J.; Fritz, David J.; Vanderveen, Keith V.; Pedretti, Kevin P.; Watts, Kristopher K.; Deccio, Casey T.

Abstract not provided.

Minnich, Ronald G.; Rudish, Don W.; Floren, John F.; Sweeney, Andrew J.; Fritz, David J.; Vanderveen, Keith V.; Pedretti, Kevin P.; Watts, Kristopher K.; Deccio, Casey T.

Abstract not provided.

Vanderveen, Keith V.; Minnich, Ronald G.; Deccio, Casey T.; Floren, John F.; Sweeney, Andrew J.; Watts, Kristopher K.; Rudish, Don W.; Fritz, David J.; Choe, Yung R.

Abstract not provided.

Adalsteinsson, Helgi A.; Armstrong, Robert C.; Chiang, Ken C.; Gentile, Ann C.; Lloyd, Levi L.; Minnich, Ronald G.; Vanderveen, Keith V.; Vanrandwyk, Jamie V.; Rudish, Don W.

We report on the work done in the late-start LDRDUsing Emulation and Simulation toUnderstand the Large-Scale Behavior of the Internet. We describe the creation of a researchplatform that emulates many thousands of machines to be used for the study of large-scale inter-net behavior. We describe a proof-of-concept simple attack we performed in this environment.We describe the successful capture of a Storm bot and, from the study of the bot and furtherliterature search, establish large-scale aspects we seek to understand via emulation of Storm onour research platform in possible follow-on work. Finally, we discuss possible future work.3

Vanrandwyk, Jamie V.; Lloyd, Levi L.; Chiang, Ken C.; Vanderveen, Keith V.

We present the forensic analysis repository for malware (FARM), a system for automating malware analysis. FARM leverages existing dynamic and static analysis tools and is designed in a modular fashion to provide future extensibility. We present our motivations for designing the system and give an overview of the system architecture. We also present several common scenarios that detail uses for FARM as well as illustrate how automated malware analysis saves time. Finally, we discuss future development of this tool.

Mayo, Jackson M.; Armstrong, Robert C.; Vanderveen, Keith V.

The goal of this research was to examine foundational methods, both computational and theoretical, that can improve the veracity of entity-based complex system models and increase confidence in their predictions for emergent behavior. The strategy was to seek insight and guidance from simplified yet realistic models, such as cellular automata and Boolean networks, whose properties can be generalized to production entity-based simulations. We have explored the usefulness of renormalization-group methods for finding reduced models of such idealized complex systems. We have prototyped representative models that are both tractable and relevant to Sandia mission applications, and quantified the effect of computational renormalization on the predictive accuracy of these models, finding good predictivity from renormalized versions of cellular automata and Boolean networks. Furthermore, we have theoretically analyzed the robustness properties of certain Boolean networks, relevant for characterizing organic behavior, and obtained precise mathematical constraints on systems that are robust to failures. In combination, our results provide important guidance for more rigorous construction of entity-based models, which currently are often devised in an ad-hoc manner. Our results can also help in designing complex systems with the goal of predictable behavior, e.g., for cybersecurity.

Heath, Zach H.; Shneider, Max S.; Vanderveen, Keith V.; Allan, Benjamin A.; Ray, Jaideep R.

This report presents the results of our efforts to apply high-performance computing to entity-based simulations with a multi-use plugin for parallel computing. We use the term 'Entity-based simulation' to describe a class of simulation which includes both discrete event simulation and agent based simulation. What simulations of this class share, and what differs from more traditional models, is that the result sought is emergent from a large number of contributing entities. Logistic, economic and social simulations are members of this class where things or people are organized or self-organize to produce a solution. Entity-based problems never have an a priori ergodic principle that will greatly simplify calculations. Because the results of entity-based simulations can only be realized at scale, scalable computing is de rigueur for large problems. Having said that, the absence of a spatial organizing principal makes the decomposition of the problem onto processors problematic. In addition, practitioners in this domain commonly use the Java programming language which presents its own problems in a high-performance setting. The plugin we have developed, called the Parallel Particle Data Model, overcomes both of these obstacles and is now being used by two Sandia frameworks: the Decision Analysis Center, and the Seldon social simulation facility. While the ability to engage U.S.-sized problems is now available to the Decision Analysis Center, this plugin is central to the success of Seldon. Because Seldon relies on computationally intensive cognitive sub-models, this work is necessary to achieve the scale necessary for realistic results. With the recent upheavals in the financial markets, and the inscrutability of terrorist activity, this simulation domain will likely need a capability with ever greater fidelity. High-performance computing will play an important part in enabling that greater fidelity.

Chiang, Ken C.; Lloyd, Levi L.; Vanderveen, Keith V.

We present the forensic analysis repository for malware (FARM), a system for automating malware analysis. FARM leverages existing dynamic and static analysis tools and is designed in a modular fashion to provide future extensibility. We present our motivations for designing the system and give an overview of the system architecture. We also present several common scenarios that detail uses for FARM as well as illustrate how automated malware analysis saves time. Finally, we discuss future development of this tool.

Armstrong, Robert C.; Ray, Jaideep R.; Heath, Zach H.; Shneider, Max S.; Vanderveen, Keith V.; Allan, Benjamin A.

Abstract not provided.

Vanderveen, Keith V.; Sa, Timothy J.; McDaniel, Anthony H.

Abstract not provided.

Vanderveen, Keith V.

Abstract not provided.

Vanderveen, Keith V.; Sa, Timothy J.

Abstract not provided.