Software development environments

Software development environments • October 20, 2025

µArchiFI

Pre-silicon formal analysis of processor microarchitectures and embedded software for more secure systems-on-chip with µArchiFI

Read more
Software development environments • October 20, 2025

Securing AI against adversarial attacks

The PyRAT and PARTICUL tools developed by CEA-List enable detection and protection against adversarial attacks.

Read more
Software development environments • October 20, 2025

Backdoor detection

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

Read more
Software development environments • October 17, 2025

The XanthOS development framework for secure system software

Building secure, high-performance system software using Rust, a secure programming language that maximizes compilation checks.

Read more
Software development environments • March 18, 2022

Streamer

An open-source sandbox for creating, simulating, and evaluating machine learning algorithms that process data streams.

Read more
Software development environments • March 17, 2022

MAX

Test and optimize blockchain applications with an agent-based simulation engine.

Read more
Software development environments • March 17, 2022

Frama-C

Guaranteeing program safety and security with an open-source formal analysis environment for code written in C.

Read more
Software development environments • March 15, 2022

Cogito

Automatically deploy software countermeasures for more secure embedded systems.

Read more