User Tools

Site Tools


links

Differences

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
Next revision Both sides next revision
links [2017/11/01 22:55]
mister_x [Additional Papers] Key Reinstallation AttACK
links [2018/09/11 20:19]
mister_x [Additional Papers] Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives
Line 57: Line 57:
   * [[https://​lirias.kuleuven.be/​bitstream/​123456789/​572634/​1/​asiaccs2017.pdf|Discovering Logical Vulnerabilities in the Wi-Fi Handshake Using Model-Based Testing]], Mathy Vanhoef, D. Schepers, and F. Piessens   * [[https://​lirias.kuleuven.be/​bitstream/​123456789/​572634/​1/​asiaccs2017.pdf|Discovering Logical Vulnerabilities in the Wi-Fi Handshake Using Model-Based Testing]], Mathy Vanhoef, D. Schepers, and F. Piessens
   * [[http://​papers.mathyvanhoef.com/​blackhat2017.pdf|WiFuzz:​ Detecting and Exploiting Logical Flaws in the Wi-Fi Cryptographic Handshake]],​ Mathy Vanhoef   * [[http://​papers.mathyvanhoef.com/​blackhat2017.pdf|WiFuzz:​ Detecting and Exploiting Logical Flaws in the Wi-Fi Cryptographic Handshake]],​ Mathy Vanhoef
-  * [[https://​papers.mathyvanhoef.com/​ccs2017.pdf|Key Reinstallation AttACK]], Mathy Vanhoef, Frank Piessens ([[https://​papers.mathyvanhoef.com/​ccs2017-slides.pdf|Slides]])+  * [[https://​papers.mathyvanhoef.com/​ccs2017.pdf|Key Reinstallation AttACK]], Mathy Vanhoef, Frank Piessens ([[https://​papers.mathyvanhoef.com/​ccs2017-slides.pdf|Slides]]). [[https://​github.com/​vanhoefm/​krackattacks-scripts|GitHub repository]] with scripts to test if client or AP are vulnerable. 
 +  * [[https://​papers.mathyvanhoef.com/​woot2018.pdf|Symbolic Execution of Security Protocol Implementations:​ 
 +Handling Cryptographic Primitives]] by Mathy Vanhoef and Frank Piessens
 ===== 802.11 Specifications ==== ===== 802.11 Specifications ====
  
links.txt · Last modified: 2019/04/14 22:43 by mister_x