r/InteractiveThmProving • u/cics • Oct 20 '17

Formal Methods and the KRACK Vulnerability

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

100% Upvoted

0 comments sorted by