Assignment for AKDV 2016: writing theory solvers in the SMT4J framework.
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
Illustrative examples extending lecture content
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.
A Mirror of the Libtins project on GitHub.
Reference implementations and scripts to calculate round numbers for the PRF Hydra.