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.

We perform applied R&D to transfer innovative solutions and technologies into our products and services.

We provide dedicated consulting services to the private and public sector and create tailor-made secure digital software solutions.

We provide training for private and public entities, focusing on our main lines of work and research.

Scientific research and consulting in:
- Mathematical modelling, algorithms, and applied logic
- Classical and post-quantum cryptography
- Security analysis and security protocol design
- Formal verification of security protocols and cyber-physical systems
- AI security, in particular formal verification of agentic AI systems
- Formal methods for AI and AI for formal methods
- Secure software development, including secure AI-assisted development
Secure integration of AI agents and AI-assisted development into client workflows
Design and development of customized secure digital solutions, built on state-of-the-art research
Development of cryptographic software based on verified implementations
Easy-to-use quantum-safe cryptographic tools for end users
Threat modelling and quantitative risk assessment for cyber-physical systems
Tools that support the development of secure IT solutions compliant with strict certification standards
System design and implementation audits, including testing and vulnerability assessment
Security evaluation under the Common Criteria framework
Novel processes for R&D and advanced project management
Training for private and public organizations in our areas of expertise
General ICT consulting, beyond information security