Speaker Session IV: Other Emerging PQC and Quantum Computing

Heather Kinsy, Taqi Raza, Yipeng Huang, Himanshu Thapliyal

• Heather Kinsy (Secure Micro Technologies) – Itus Bridge™: Flexible Hardware Design for Quantum-Resistant Cryptographic Agility and Transition
• Taqi Raza (University of Massachusetts Amherst) – Formal Verification of Quantum Protocol Security for Post-Quantum Era
• Yipeng Huang (Rutgers University) – Reconfigurable quantum architecture and codes: Implications on correctness, efficiency, and security
• Himanshu Thapliyal (Southern Methodist University) – From Quantum Properties Trojans (QuPTs) to Crosstalk: Reliable and Secure Quantum Circuits on Real NISQ Hardware

20 mins/each, for 4 speakers (Moderator: Yueqi Chen, University of Colorado Boulder)

 Overview  Agenda