WPQC’25: 1st Workshop on Post-Quantum Cryptography: Resilience, Verification, and Secure Design Automation (Co-located with ICCAD’25)

The rapid transition toward Post-Quantum Cryptography (PQC) has prompted a global effort to redefine digital security in anticipation of quantum-capable adversaries. While PQC algorithms are mathematically robust, their secure and efficient integration into hardware systems introduces new vulnerabilities and engineering challenges—especially in areas such as side-channel resistance, hardware/software co-design, and formal verification.

.