User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
links [2018/10/06 02:15]
mister_x Added Wayback machine links for dead links
links [2019/04/14 22:43] (current)
mister_x [Additional Papers] Added 2 papers from M. Vanhoef
Line 60: Line 60:
   * [[https://​​woot2018.pdf|Symbolic Execution of Security Protocol Implementations:​   * [[https://​​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://​​ccs2018.pdf|Release the Kraken: New KRACKs in the 802.11 Standard]], M. Vanhoef and F. Piessens
 +  * [[https://​​dragonblood.pdf|Dragonblood:​ A Security Analysis of WPA3’s SAE Handshake]],​ M. Vanhoef and E. Ronen
 ===== 802.11 Specifications ==== ===== 802.11 Specifications ====
links.1538784940.txt.gz · Last modified: 2018/10/06 02:15 by mister_x