Functional Thursday-
Real-World Quantum-Safe Cryptography
[Date & Time]
Date: Feb 22, 2024 (Thur)
Time: 19:30-20:30 UTC+8
Location: 4F., No. 200, Sec. 2, Jinshan S. Rd., Da’an Dist., Taipei City
[Abstract]
Quantum computers threaten the security of today’s communications secured by RSA, DH, or elliptic-curve cryptography due to Shor’s quantum algorithm. Migration to quantum-safe cryptography is urgently needed and is soon going to be mandated due to the publication of new US FIPS standards for key encapsulation and digital signatures. Researchers in Taiwan including QSMC and Academia Sinica have foreseen this threat for many years, and are leading the global research on implementing quantum-safe cryptography securely.
In this talk, I’m going to give insight into the applied cryptography research carried out at QSMC: The first part will give an overview of optimized software implementations of the new FIPS standards in particular on Arm-based platforms covering 32-bit microcontrollers and 64-bit smartphone and laptop processors. I will give insight into the challenges for cryptographic engineers and how superoptimization can be used for achieving optimal performance.
The second part will cover why traditional software engineering techniques are continuously failing in ensuring correctness of cryptographic software and how we use formal methods for proving quantum-safe implementations correct, providing formal guarantees about their security.
Lastly, I will show how QSMC is contributing to future standardization efforts with their two digital signature submissions UOV and MAYO to a new NIST competition for quantum-safe signatures. Both these signature schemes have much shorter signature sizes (128 bytes and 321 bytes) than existing quantum-safe standards showing potential for a number of use cases.
[Speaker]
Dr. Matthias J. Kannwischer is the Research Director at the Quantum Safe Migration Center (QSMC). QSMC Research aims to advance the field of real-world post-quantum cryptography covering software implementation, hardware implementation, and new post-quantum constructions. Matthias received his PhD in applied post-quantum cryptography from Radboud University (Nijmegen, The Netherlands) and was supervised by Peter Schwabe and Bo-Yin Yang.
[Notice]
This event is conducted in English.
Contact person: Judy / judy.chen@chelpis.com / +886-2-7750-7057.