Researchers have developed a technology to swap the insecure foundations of global software with a safer alternative, outperforming artificial intelligence by guaranteeing “mathematical correctness” in the translation process.

The C programming language has underpinned critical systems — including operating systems and web browsers — since the 1970s. However, its age means it suffers from structural limitations that continuously cause severe bugs and security vulnerabilities.