What we do
We apply state-of-the-art research to create customized, secure digital solutions. We design and develop (quantum-safe 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 (protocol) design and analysis, formal verification of security protocols and cyber physical systems, algorithms, applied logic, secure software development and artificial intelligence.
We make use of well-established scientific processes and methodologies to ensure robust and reliable digital solutions.
