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.