software-analysis

2024 Activity Report • June 27, 2025

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.

Read more
Technology platforms • April 4, 2022

Cybersecurity

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

Read more
Software development environments • March 13, 2022

Binsec

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

Read more