Explore projects

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

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.