https://www.businesswire.com/news/home/20240611247288/en/AdaCore-Research-Proves-Novel-Solution-for-Security-by-Default Could be interesting. I wonder if they have heard of Wave?