1. 10
    Don't Trust the Math (2013) formalmethods programming security pastebin.com
    nickpsecurity avatar authored by nickpsecurity 10 months ago | cached | 1 comment

  1.  

  2. 2
    nickpsecurity avatar nickpsecurity 10 months ago | link

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

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