Initiative aims to publish a formally verified implementation of Shor’s quantum factoring algorithm with relevance to cryptography and other high-value domainsBOSTON, Jan. 12, 2026 (GLOBE NEWSWIRE) -- ...