National Technology & Engineering Solutions of Sandia, LLC

Richard James Strong

Vincent Urias

Caleb Loverro

David Jakob Fritz

A computer-implemented method of verifying software is provided. The method comprises creating a number of virtual machines that simulate computing environments and running a number of software program on the virtual machines. The software programs have full access to the simulated computing environments, but the source code of the software program is unavailable. A hypervisor performs virtual machine introspection as the software programs run on the virtual machines, wherein the virtual machines and software programs are unaware the virtual machine introspection is being performed. Telemetry data is collected about the software programs, including any identified threats posed by the software programs to the simulated computing environments, and presented to a user via an interface.

Growing community of inventors

Albuquerque, NM, United States of America

Richard James Strong