Kry10 contributes to AI security think piece

"Kry10 was pleased to have the opportunity, along with other leaders in the formal methods community, to contribute to this well thought out response to a critical issue," said Kry10 Chief Scientist, Dr Martin Dehnel-Wild.  

CEO Boyd Multerer and Martin joined with an impressive range of organisations and individuals to contribute to the recently released New Directions in Software Technology (NDIST) report Prevent, Contain, Prove: A Framework for Urgently Securing Critical Digital Systems.

📖 Read the full report here.