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.