Auditing data access with no leaks

CEA-List has developed a new formal framework that ensures all reads are detected, even if interrupted, whilst safeguarding the confidentiality of audit trails from prying eyes.

Simulation of attacks on distributed systems

Using detailed simulations built into our MAX multi-agent tool, we conduct practical assessments of the impact of attacks on security, complementing more traditional theoretical analyses.

July 9, 2024 | Formal methods for blockchain

When it comes to consensus-based distributed systems like the most recent blockchain protocols, innovative formal specification and verification methods can help increase trust.

December 7, 2021 | Robust blockchains for the financial markets