The release includes implementations of two quantum-secure algorithms and demonstrates how formal verification caught bugs that traditional testing would have missed.
First seen on cyberscoop.com
Jump to article: cyberscoop.com/apple-open-source-quantum-resistant-encryption/
