The Post-Quantum Software Research Center (PQSRC) is hosted at Ruhr University Bochum within CASA—Cyber Security in the Age of Large-Scale Adversaries.
PQSRC's first project (2021–present) is Fast Verified Post-Quantum Software (FVPQS), a joint project between Ruhr University Bochum (PI: Daniel J. Bernstein) and Academia Sinica (PIs: Tung Chou, Bow-Yaw Wang, Bo-Yin Yang), funded by Intel as part of the Intel Crypto Frontiers Research Center.
The FVPQS project is at the intersection of cryptographic research, algorithmic research, and software-engineering research. Ruhr University Bochum and Academia Sinica are tackling the challenge of optimizing software for post-quantum cryptography without creating devastating security problems. The project focuses on various case studies with a wide range of applications to the NIST Post-Quantum Cryptography Standardization Project and post-NIST post-quantum cryptography. The project aims to publish examples of high-speed production-quality post-quantum software that is fully computer-verified to match cryptosystem specifications.
Version: This is version 2021.09.03 of the "Introduction" web page.