From pure research to new technology development, we bring together top flight teams and provide excellence in research and development of new information protection techniques and technologies. Here are some examples of recent research results from our team members.

Our bootable CD-ROMs and Embedded Security Devices are just some of the examples of new technologies that we have developed as high assurance computing platforms. Some of our technologies are in use today to help defend DoD networks around the world and to help ferret out hostile intelligence threats. Our ability to apply many years of experience in a team approach has made us one of the premier small scale research organizations in the world in this arena.

Some other examples of previous new technology efforts include the development of the first prototype virus scanners and integrity checkers in the 1980s, the development of the first digital diodes and trusted system technologies in the late 1980s and early 1990s, the development of information warfare gaming technologies in the 1990s, and the development of secure network servers in the late 1990s.

Analytical techniques form the foundation of how we measure what we do and how we understand what is happening in the world around us. We have pioneered methods for measurement of the efficacy of protection technologies and are one of the leading organizations in the world for evaluating and creating experimental methods in information protection. Our analytical techniques provide a key stepping stone between theory and new technology development that assures that the technologies we produce do the job they are intended to do.

Some examples of analytical techniques that are fun to try include our security simulation and database analysis tools. You are welcome to try some of them out:

Our applied mathematics work focuses on putting mathematical techniques and theories to useful application in understanding and predicting the behaviors of systems. A good example is game theory, which we have applied to create and analyze attack graphs, and the mathematics of optimization and cut sets, which we have applied to analyze protective options for optimization of placement and selection of defensive measures.

The key to understanding how to make protection decisions lies in the ability to model and analyze it effectively in light of the reality of your situation. This requires the combination of theoretical understanding with real world savvy, and that is what our applied mathematics group does.

The basis for our understanding starts with our ability to gather data from the world and create experimental conditions that allow us to answer fundamental questions. These efforts range from simple experiments to confirm or refute claims associated with proposed and ongoing work of others, to multi-year collaborations of researchers to gain in-depth understanding of new areas of interest.

Some recent examples of pure research efforts include (1) our work on understanding the effect of deception technologies on human and machine cognitive systems and the limits of deception and counterdeception in this arena, (2) our collection and analysis of data on the use and abuse of information technologies by terrorist groups and our assessments of how effective these groups can really be in damaging critical infrastructures, and (3) our results in the area of malicious code and the theoretical limits of protective measures intended to defeat is.