Focus areas

  • Ensuring the integrity of runtime system operation and information assets
  • Advanced vulnerability analysis and automated testing techniques for the proactive discovery of product flaws prior to deployment
  • High-assurance solutions for processing and exchanging mixed-criticality data over monolithic computing resources
  • Reusable, trusted computing solutions, delivering security components for emerging market requirements
  • Security for remote connectivity and maintenance in collaborative manufacturing environments
  • Formal verification tools and techniques for the protection of sensitive data