CYSAT 2026
May 6, 2026
Meet TrustInSoft at CYSAT Paris 2026
We are looking forward to meeting you at CYSAT EU 2026 in Paris, France at Station F May 20-21, 2026.
Contact us to set up a meeting at the event.
Presentation: Cybersecurity for Space: AI as an assistant, Formal Methods as a Foundation
Join Director of Field Engineering at TrustInSoft, Rolland Dudemaine, and EMEA & Japan Business Development & Sales Director at TrustInSoft, Laurent Maillard, for their joint conference session: Cybersecurity for Space: AI as an assistant, Formal Methods as a Foundation.
Date: Thursday, May 21 2026
Time: 11 AM
Place: Central Room
In the space domain, extreme constraints and a rapidly evolving attack surface make cybersecurity fundamentally different: once deployed, systems cannot be patched, so design-time guarantees are essential. This talk argues that formal methods remain the dominant approach for verifying space software, providing exhaustive proofs of safety and security properties that AI/LLMs can only complement.
While AI can assist in analysis and productivity, only formal verification can deliver deterministic, certification-grade assurance required by standards like ECSS and DO-178C, especially for C/C++/Rust flight software.