April 7-10, 2025 | Marriott Downtown at CF Toronto Eaton Centre, Canada

Home
Conference Info
Agenda
Register Now
Sponsoring
About ICMC

Home
Conference Info
Agenda
Register Now
Sponsoring
About ICMC

|

Pierre-Yves Strub

Lead Formal Verification Researcher, PQShield

Pierre-Yves Strub

Lead Formal Verification Researcher, PQShield

Biography

All sessions by Pierre-Yves Strub

Ensuring Correctness and Security in High-Speed Post-Quantum Cryptography: Leveraging Formal Verification Tools (G12b)

08 Apr 2025

13:30

Join hundreds of colleagues at the global forum for commercial cryptography.

Search ICMC

About ICMC

The International Cryptographic Module Conference is produced by the Certification Conferences division of Cnxtd Event Media Corp., a leading producer of international events focused on ICT Product Certification including The Commercial Solutions for Classified Conference, CMMC Day, The International Common Criteria Conference, IoT Payments Day, The International Conference on the EU Cybersecurity Act, and The Conference on ISO/IEC 19790.

© Copyright International Cryptographic Module Conference 2012-2024

About Us | Agenda | Speaking | Sponsors