Industry & cybersecurity
Software and infrastructure security for critical systems. From formal verification to Common Criteria certification processes, from restricted distribution up to EAL6+.
Security through formal methods
We build security suites grounded in formal methods, reaching the highest levels of code quality and reliability.
Secure IT, inferred access rights
We run a zero-trust information system with automatic inference of access rights, minimizing the attack surface.
From restricted distribution to EAL6+
We support companies through their certifications and cybersecurity challenges, from restricted distribution up to EAL6+.
Critical sectors we serve
Our long-standing experience spans across multiple critical sectors where security and reliability are paramount.
Automotive
Connected vehicles, AUTOSAR compliance, and safety-critical systems requiring the highest levels of software assurance.
Aerospace & defense
Embedded systems, mission-critical applications, and certification for avionics and defense platforms.
Critical infrastructure
Industrial control systems, energy grids, and telecommunications networks where failure is not an option.
Samsung EAL6+ certification
We successfully supported Samsung in achieving EAL6+ Common Criteria certification for a security microcontroller, one of the highest assurance levels available.
The challenge
Achieving EAL6+ requires rigorous formal methods and semi-formal verification to demonstrate security properties with mathematical certainty. This is essential for protecting sensitive data in embedded systems.
Our contribution
Leveraging our expertise in formal verification and secure system design, we provided critical support throughout the evaluation process, ensuring compliance with the stringent requirements of the ANSSI (French cybersecurity agency).
Security capabilities
Formal verification
Mathematical proof of correctness for safety-critical software, going beyond testing to guarantee behavior.
Common Criteria certification
EAL certification support up to EAL6+, the highest assurance levels available for security evaluation.
Smart contract audits
Security audits and formal verification of smart contracts, eliminating vulnerabilities before deployment.
Secure development lifecycle
End-to-end SSDLC implementation, from threat modeling to secure coding practices and compliance.
ICS security
Industrial control system security assessment and hardening for operational technology environments.
AUTOSAR compliance
Automotive software security and AUTOSAR compliance for connected and autonomous vehicle systems.
Key challenges we address
Safety-critical systems
Ensure correctness and reliability in systems where failure is not an option, from avionics to automotive to energy.
Threat mitigation
Identify and mitigate security vulnerabilities before they can be exploited, using formal methods and advanced analysis.
Supply chain security
Secure your software supply chain and protect against third-party risks with rigorous verification.
Certification support
Achieve industry certifications including ISO 26262, IEC 61508, and Common Criteria up to EAL6+.
