Symmaries

A tool to formally verify the security of software and protect digital assets and infrastructures of national interest. Our society and our daily lives depend more and more on critical cyber-infrastructures and an attack on them can quickly lead to a national or global crisis situation. Cyberattacks often occur due to security weaknesses in software applications.

We developed Symmaries, a software tool to analyze the security of a software application, detect its security weaknesses and provide suggestions to fix them. Symmaries offers the highest-level of assurance according to the ISO/IEC 15408 standard.