ArchCM4SSV - Architectural Countermeasures for Security & Security Verification

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