https://cryptologie.net/article/511/how-do-people-find-bugs/
https://blog.cryptographyengineering.com/2017/10/16/falling-through-the-kracks/
Интересная подборка того, что даже в формально верифицированных
протоколах всё равно могут быть ошибки и несостыковки. Ох уж эти люди...
In modern world, bugs find you.
I don't find bugs -- I write them.
А вторая статья про KRACK атаку на 802.11i. Мэтью Грин так лестно
отзывается об IEEE! И по сути это их огромный fail что такое кривое
получается в плане безопасности.