2021.06.10 13:51:25 (1402956563418009601) from Daniel J. Bernstein:
"Fast verified post-quantum software, part 1: RAM subroutines" white paper, slides, and video now available: https://cr.yp.to/talks.html#2021.06.09 Sometimes it's not super-difficult to have an automated guarantee that optimized code matches the spec in all cases, not just test cases. #NISTPQC