Backdoor detection

Automated software testing at scale for maximum detection of vulnerabilities, even those that are hidden or complex.

Formal methods for program analysis

CEA-List possesses a formal methods-based toolkit that can help cybersecurity experts pinpoint vulnerabilities in software and prove that software protects data privacy and integrity—something that is required for the highest levels of software security certification.

Cybersecurity

Cybersecurity is about analyzing vulnerabilities in complex digital systems and using innovative technologies to find new ways of preventing cyberattacks.

Binsec

Making software more secure through the formal analysis of executable code.

September 21, 2021 | Automated software analysis for secure IoT devices with LEIA