35C3 - The year in post-quantum crypto

延伸阅读 1

在这场 2018 年的密码学报告中，Bernstein 解释为何对快速排序代码检查编译后的机器指令。这个选择减少了对编译器正确性的依赖，也把验证的范围限定在该实现和规格。

社区转写的字幕 ↗ · 引文按字幕原文展示，可点时间戳回看片段。

补充字幕原文 2

for every possible input

verification isn't going to rely on some compiler being correct.