Explore projects

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

Upstream Git Repository for Computer Organization and Networks Practicals 2019/20

A tool to find key recovery attacks based on a given cluster of differentials

A Mirror of the Cpp Linenoise on GitHub.

Assignment descriptions and frameworks for Verification and Testing 2021/22.

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 Hat Trie project on GitHub.

Upstream Git Repository for Computer Organization and Networks Practicals 2020/21

A Mirror of the Libtins project on GitHub.