HITCON 2021 - Fast verified post-quantum software
▶HITCON 2021 - Fast verified post-quantum software — a 2021 HITCON security conference talk on crypto (44:36 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube