Explore projects
-
scos / akdv2016
MIT LicenseAssignment for AKDV 2016: writing theory solvers in the SMT4J framework.
Updated -
scos / ijtihad
Otherijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Updated -
Updated
-
Updated
-
-
itsec / upstream2019
OtherUpdated -
Updated
-
scos / scos.sources / S4
MIT LicenseUpdated -
-
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
-
Updated
-
scos / scos.sources / Libtins
BSD 2-Clause "Simplified" LicenseA Mirror of the Libtins project on GitHub.
Updated -
Updated
-
Updated
-
Updated
-
Reference implementations and scripts to calculate round numbers for the PRF Hydra.
Updated