ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Code examples for the lecture
A tool to find key recovery attacks based on a given cluster of differentials
Securityweek Physical Side-Channels Lab
This project provides an interface to interact with an IEEE802.11 device.
As of now '2021.10.18' only the access point devices are supported.
More functionalities might follow.
Illustrative examples extending lecture content
A Mirror of the Libtins project on GitHub.