Explore projects

Securityweek Physical Side-Channels Lab

Reference implementations and scripts to calculate round numbers for the PRF Hydra.

A Mirror of the Libtins project on GitHub.

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.

Code examples for the lecture

ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.

Assignment for AKDV 2016: writing theory solvers in the SMT4J framework.