Kry10 contributes to AI security think piece
Kry10 CEO Boyd Multerer and Martin joined with an impressive range of organizations 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.
"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.
Read the full report here.