Explore projects
-
scos / scos.sources / ferp-models
GNU General Public License v3.0 onlyUpdated -
Updated
-
conan / Fmt
OtherUpdated -
Reference implementations and scripts to calculate round numbers for the GMiMC block cipher.
Updated -
krypto / hadeshash
MIT LicenseUpdated -
Reference implementations and scripts to calculate round numbers, MDS matrices, and round constants for the HadesMiMC block cipher.
Updated -
-
Reference implementations and scripts to calculate round numbers for the PRF Hydra.
Updated -
Updated
-
sesys / iaik-open-flow / ibex-verilog
Apache License 2.0Updated -
scos / ijtihad
Otherijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Updated -
Updated
-
Template GIT repo structure for Introduction to Scientific Writing reports
Updated -
Updated
-
sesys / Kavach_artifacts
GNU General Public License v3.0 onlyUpdated -
castle / tool / keyrecoverytool
MIT LicenseA tool to find key recovery attacks based on a given cluster of differentials
Updated -
Updated
-
Updated
-
scos / scos.sources / LearningMMTs
GNU General Public License v3.0 or laterThis is the very first step towards Learning Mealy Machines with Timers.
Updated