ArchCM4SSV - Architectural Countermeasures for Security & Security Verification

Project: Research project

Project Details


For this initial part of the research, the goal is to design a way of informing the leakage search about the expected leakage conditions. This ad-hoc leakage contract, will be written in a simple specification language that can be easily translated into Boolean formulas. The second part of the research area builds on the results and methods obtained through the systematic leakage detection
Effective start/end date1/07/2130/06/22


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.