We are leading the charge to ensure online trust, particularly in mission-critical environments. Our portfolio in computer security ranges from the design and implementation of trusted components to the development of novel mathematical techniques for deep analysis of networked systems. We also have extensive experience in the design of languages and tools that provides security and trust.
We provide solutions in the following areas:
- Assured information sharing: finding innovative solutions for balancing need-to-share versus need-to-know.
- Threat analysis: combining expertise in social science modeling, understanding deception and counterdeception, rapid prototyping, and risk management.
- Systems-level security