Safety and Security

Safety and Security

Guaranteeing secure systems in software and system development

Safety and Security

The Safety and Security group develops computer-aided techniques and processes for the integration of safety and security. We propose new engineering principles in order to provide concrete evidence supporting the safety and security of systems.

To do so, we deploy and propose suitable formal models and propose automated techniques, enabling their usage in practice.

Examples of the techniques used are:

  • Extracting security-relevant information from safety analysis in an automated fashion;
  • Understanding the trade-offs between safety and security design options, e.g., when they conflict;
  • Constructing arguments/assessments that take into account both safety and security;
  • Gathering evidence supporting the safety and security of systems/software by using formal methods and tools, such as static-analysers, model-checking, and software verification tools.
Dr. Vivek Nigam

Your contact

Dr. Vivek Nigam

+49 89 3603522 527
nigam@fortiss.org

Projects