Explore projects
-
Updated
-
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 -
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 -
-
Updated
-
scos / scos.sources / S4
MIT LicenseUpdated -
scos / scos.sources / Libtins
BSD 2-Clause "Simplified" LicenseA Mirror of the Libtins project on GitHub.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Florian Draschbacher / A2P2
GNU General Public License v3.0 onlyUpdated -
Updated
-
Reference implementations and scripts to calculate round numbers for the PRF Hydra.
Updated