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
links [2017/10/17 23:16]
mister_x [Additional Papers] Added more papers
links [2018/09/11 20:19] (current)
mister_x [Additional Papers] Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives
Line 56: Line 56:
   * [[http://​papers.mathyvanhoef.com/​phdthesis.pdf|A Security Analysis of the WPA-TKIP and TLS Security Protocols]],​ Mathy Vanhoef   * [[http://​papers.mathyvanhoef.com/​phdthesis.pdf|A Security Analysis of the WPA-TKIP and TLS Security Protocols]],​ Mathy Vanhoef
   * [[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.pdfWiFuzz: 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://​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.1508275018.txt.gz · Last modified: 2017/10/17 23:16 by mister_x