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.