Verifiable security for cyber-physical systems through

Cryptography & Formal Methods

Our mission is to ensure the trustworthiness and security of cyber-physical systems by building upon solid mathematical foundations.​

What we do

We apply state-of-the-art research to create customized, secure digital solutions. We design and develop (cryptographic) software, relying on verified implementations and perform system design and software implementation audits as well as testing.

We specialize in mathematical modelling, classical and (post-)quantum cryptography, security analysis, security protocol design and analysis, formal verification of security protocols and cyber physical systems, algorithms, applied logic, secure software development.

We make use of well-established scientific processes and methodologies to ensure robust and reliable digital solutions.

Require our assistance?

We ensure the trustworthiness and security of digital systems by advancing the state-of-the-art and applying cutting edge results from computer science and mathematics for the design, development, and analysis of novel solutions and tools for secure software and cyber physical systems.

Scroll to Top