Lines of work
enabling our services
Theoretical research
We carry out fundamental research to advance the state of the art in our main areas of research, development and service provision.
Applied research & development
We perform applied R&D to transfer innovative solutions and technologies into our products and services.
Consulting
We provide dedicated consulting services to the private and public sector and create tailor-made secure digital software solutions.
raising awareness & training
We provide training for private and public entities, focusing on our main lines of work and research.
We provide the following services
Conducting scientific research and providing consulting services mainly in the following areas: 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.
Applying state-of-the-art research and development to create customized secure digital solutions
Design and development of (cryptographic) software, relying on verified implementations
Performing system design and software implementation audits and testing
Developing and providing novel processes, applicable in R&D and advanced project management
Developing tools that assist in the development of secure IT solutions, compliant with strict certification standards
Creating easy-to-use quantum-safe end-user cryptographic tools
Providing training for private and public entities, focusing on our main lines of work and research
Creating and maintaining tools and solutions supporting secure information processing
Design, analysis, and development of ICT (security) solutions
Consulting services in the ICT domain, not limited to information security
System security evaluation following the Common Criteria framework, including methodical vulnerability assessments