Third PQC Standardization Conference - Session II Security Part I

<div>NIST hosted the Third PQC Standardization Conference (virtual) on June 7-9, 2021 to discuss various aspects of the finalist and alternate candidates, and to obtain valuable feedback for the final selection(s)</div><div><br></div><div>Session II – Security I</div><div>Session Chair: Daniel Apon</div><div><br></div><div>12:40– 13:00 Efficient Key Recovery for all HFE Signature Variants</div><div>Albrecht Petzoldt, FAU Erlangen Nuremberg</div><div><br></div><div>13:00– 13:20 Formal Verification of Post-Quantum Cryptography</div><div>Matthias Meijers, Eindhoven University of Technology</div><div><br></div><div>13:20– 13:40 Lower bounds on lattice sieving and information set decoding</div><div>Elena Kirshanova, Immanuel Kant Baltic Federal University</div><div><br></div><div>13:40– 14:00 Torsion point attacks on "SIDH-like" cryptosystems</div><div>Péter Kutas, University of Birmingham</div><div><br></div><div>14:00– 14:20 Anonymous, Robust Post-Quantum Public Key Encryption</div><div>Varun Maram, ETH Zurich</div>