May 10, 2022 | Quantum software: Shor’s algorithm implementation verified for the first time ever

When Shor’s algorithm was discovered in 1994, it ignited the scientific community’s interest in quantum computing. Until now, however, it has been impossible to verify implementations of the algorithm for lack of appropriate tools. Researchers at CEA-List have filled this gap.

October 30, 2020 | Protecting cryptographic code against new cyberattacks