Explore projects
-
scos / ijtihad
Otherijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Updated -
Updated
-
Updated
-
castle / tool / keyrecoverytool
MIT LicenseA tool to find key recovery attacks based on a given cluster of differentials
Updated -
Upstream Git Repository for Computer Organization and Networks Practicals 2019/20
Updated -
Updated
-
scos / scos.sources / WiFi-Fuzzer
GNU General Public License v3.0 or laterThis 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.
Updated -
Assignment descriptions and frameworks for Verification and Testing 2021/22.
Updated -
Updated
-
scos / scos.sources / Cpp Linenoise
BSD 2-Clause "Simplified" LicenseA Mirror of the Cpp Linenoise on GitHub.
Updated -
itsec / upstream2019
OtherUpdated -
Updated
-
Updated
-
Updated
-
Upstream Git Repository for Computer Organization and Networks Practicals 2020/21
Updated -
scos / scos.sources / Libtins
BSD 2-Clause "Simplified" LicenseA Mirror of the Libtins project on GitHub.
Updated -
conan / spdlog
MIT LicenseUpdated -
Updated