Grant: Collaborative Science, Technology and Innovation Program - Collaborative R&D Initiatives
University of Waterloo
$250,182.00
Formal Verification of Post-Quantum Cryptographic Protocols
EF 2026-27 · 2026-07-08
Résumé
The project will develop practical methods for assessing and verifying the security of post-quantum cryptographic protocols in realistic software systems such as OpenSSL-based TLS implementations. With advances in quantum computing, organizations are preparing to transition from current public-key cryptography to quantum-safe alternatives. Although several post-quantum cryptographic algorithms have been standardized or are nearing standardization, secure deployment requires more than secure algorithms. Protocols that combine these algorithms with existing systems must also be carefully analyzed to ensure that they behave correctly and remain secure in practice.
Ministère
Programme
Collaborative Science, Technology and Innovation Program - Collaborative R&D Initiatives
Bénéficiaire
Emplacement
Waterloo|Waterloo, Ontario, Canada
Type de bénéficiaire
Academia
Numéro d'entreprise
119260685
Type
Grant
Source
Proactive Disclosure - Grants and Contributions
Tel que publié
Agreement End Date
2028-03-31
Agreement Number
1044608
Agreement Start Date
2026-07-08
Agreement Title
Formal Verification of Post-Quantum Cryptographic Protocols
Agreement Title (French)
Vérification méthodique des protocoles cryptographiques postquantiques
Agreement Type
Grant
Agreement Value
$250,182.00
Amendment Number
0
Description
The project will develop practical methods for assessing and verifying the security of post-quantum cryptographic protocols in realistic software systems such as OpenSSL-based TLS implementations. With advances in quantum computing, organizations are preparing to transition from current public-key cryptography to quantum-safe alternatives. Although several post-quantum cryptographic algorithms have been standardized or are nearing standardization, secure deployment requires more than secure algorithms. Protocols that combine these algorithms with existing systems must also be carefully analyzed to ensure that they behave correctly and remain secure in practice.
Description (French)
Le projet consiste à mettre au point des méthodes pratiques d’évaluation et de vérification de la sécurité des protocoles cryptographiques postquantiques dans des systèmes logiciels réalistes, comme ceux basés sur OpenSSL pour la mise en œuvre du protocole TLS. Vu les progrès en informatique quantique, les organisations se préparent à passer de la cryptographie à clé publique à d'autres solutions à résistance quantique. Malgré la normalisation ou la quasi-normalisation de plusieurs algorithmes cryptographiques postquantiques, un déploiement sécuritaire nécessite plus que de simples algorithmes sécurisés. Les protocoles combinant ces algorithmes avec les systèmes actuels doivent également être analysés avec soin afin de garantir qu'ils fonctionnent correctement et restent sécurisés dans la pratique.
Expected Results
In the short term, anticipated outcomes will be strengthened collaborations across industry, academia, and government to support research excellence. In the medium term, anticipated outcomes will be the development of new and potentially disruptive technologies with collaborators. In the long term, find collaborative solutions to public policy challenges and create stronger innovation systems.
Expected Results (French)
À court terme, les résultats prévus seront des collaborations renforcées entre l'industrie, le milieu universitaire et le gouvernement pour soutenir l'excellence en recherche. À moyen terme, les résultats attendus seront le développement de nouvelles technologies potentiellement perturbatrices avec des collaborateurs. À long terme, trouver des solutions collaboratives aux défis des politiques publiques et créer des systèmes d'innovation plus solides.
Federal Riding
Waterloo
Federal Riding (French)
Waterloo
Federal Riding Number
35114
NAICS Code
541710
Organization Code
nrc-cnrc
Organization
National Research Council Canada | Conseil national de recherches Canada
Program Name
Collaborative Science, Technology and Innovation Program - Collaborative R&D Initiatives
Program Name (French)
Programme de collaboration en science, en technologie et en innovation - Initiatives de collaboration en R-D
Program Purpose
Collaborate on multiparty research and development programs to catalyze transformative, high-risk, high-reward research with the potential for game-changing scientific discoveries and technological breakthroughs in priority areas.
Program Purpose (French)
Collaborer à des programmes multipartites de recherche-développement dans le but de profiter de la synergie entre la recherche transformatrice à haut risque et à haut rendement et le potentiel de découvertes scientifiques et de percées technologiques révolutionnaires dans des secteurs d’intervention prioritaires.
Recipient Business Number
119260685
Recipient City
Waterloo|Waterloo
Recipient Country
CA
Recipient Legal Name
University of Waterloo
Recipient Postal Code
N2L 3G1
Recipient Province or Territory
ON
Recipient Type
S
Reference Number
172-2026-2027-Q2-1044608