1. 10
  1.  

  2. 2

    Submitting this here in response to @minimax’s submission saying similar things:

    https://galois.com/blog/2017/10/formal-methods-krack-vulnerability/