Explore projects
-
scos / fast-rebecca
Apache License 2.0Updated -
scos / scos.sources / ferp-models
GNU General Public License v3.0 onlyUpdated -
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 -
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
-
sesys / Kavach_artifacts
GNU General Public License v3.0 onlyUpdated -
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 -
Repository containing the directory structure for LuB submissions.
Updated -
Updated
-
Updated
-
Updated
-
sesys / iaik-open-flow / open-flow-asic
Apache License 2.0Updated -
sesys / iaik-open-flow / open-flow-docker
Apache License 2.0Updated