April 20-23 | Renaissance Arlington Capital View

Home
Conference Info
Register Now
Sponsoring
- Sponsorship Opportunities
- Sponsor Services
About ICMC

Home
Conference Info
Register Now
Sponsoring
- Sponsorship Opportunities
- Sponsor Services
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

The Conference Video Archive is available via registrant login here, or for purchase here.

Renewal registration rates are in effect.

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