This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
links [2018/10/06 02:15] mister_x Added Wayback machine links for dead links |
links [2019/04/14 22:43] mister_x [Additional Papers] Added 2 papers from M. Vanhoef |
||
---|---|---|---|
Line 60: | Line 60: | ||
* [[https://papers.mathyvanhoef.com/woot2018.pdf|Symbolic Execution of Security Protocol Implementations: | * [[https://papers.mathyvanhoef.com/woot2018.pdf|Symbolic Execution of Security Protocol Implementations: | ||
Handling Cryptographic Primitives]] by Mathy Vanhoef and Frank Piessens | Handling Cryptographic Primitives]] by Mathy Vanhoef and Frank Piessens | ||
+ | * [[https://papers.mathyvanhoef.com/ccs2018.pdf|Release the Kraken: New KRACKs in the 802.11 Standard]], M. Vanhoef and F. Piessens | ||
+ | * [[https://papers.mathyvanhoef.com/dragonblood.pdf|Dragonblood: A Security Analysis of WPA3’s SAE Handshake]], M. Vanhoef and E. Ronen | ||
===== 802.11 Specifications ==== | ===== 802.11 Specifications ==== | ||