An open-source sandbox for creating, simulating, and evaluating machine learning algorithms that process data streams.
Test and optimize blockchain applications with an agent-based simulation engine.
Guaranteeing program safety and security with an open-source formal analysis environment for code written in C.
An electronic systems simulation environment for easier testing of complex software binary code.
Making software more secure through the formal analysis of executable code.
CIL4Sys Engineering, a systems engineering services company that works with major French companies, joined forces with CEA-List on a software engineering venture.
A compilation chain for the development of applications that can process encrypted data without having to decrypt it.