倉庫
vanhoefm 的倉庫
Interpreter for the "bc" programmable calculator language. Made during my third year studying Computer Science at University Hasselt (Belgium).
OPCDE DXB 2017 + 2018 Materials
OverTheWire #social KittenBot
An emulator for a small assembly language. Made during my first year studying Computer Science at University Hasselt (Belgium).
Graphical tool to create "books". Made during my second year studying Computer Science at University Hasselt (Belgium) with a fellow student.
Master's Thesis: "Security Analysis of the WPA2 KRACK patches"
Generalized Wi-Fi Client Isolation Bypasses
Automatically exported from code.google.com/p/androidfilemonitor
Automatically exported from code.google.com/p/androidproxy
apbleed
Code for the AsiaCCS 2017 paper "Discovering Logical Vulnerabilities in the Wi-Fi Handshake using Model-Based Testing".
Code for the AsiaCCS 2019 paper "Practical Side-Channel Attacks against WPA-TKIP".
Reference implementation of SAE by Harkins
Updated backports 3.11.8-1 release that compiles on Debian 7 on Linux 3.2
Proof of concepts of attacks against Wi-Fi implementations