Explore projects
-
Updated
-
krypto / project_development_work / PSI_old
GNU Affero General Public License v3.0Updated -
castle / tool / aegis_linear_trails
MIT LicenseMILP/CP framework for "Analyzing the Linear Keystream Biases in AEGIS" https://doi.org/10.13154/tosc.v2019.i4.348-368
Tools for finding linear characteristics for the authenticated cipher AEGIS from the CAESAR portfolio: Mixed-Integer Linear Programming (MILP) and Constraint Programming (CP) models including TikZ output
Updated -
sesys / python-gitlab
OtherUpdated -
Updated
-
-
scos / scos.sources / S4
MIT LicenseUpdated -
scos / scos.sources / party-eris
MIT LicenseUpdated -
conan / Fmt
OtherUpdated -
conan / spdlog
MIT LicenseUpdated -
Updated
-
Reference implementations and scripts to calculate round numbers for the GMiMC block cipher.
Updated -
conan / ELFIO
MIT LicenseUpdated -
conan / Rang
The UnlicenseUpdated -
conan / Cxxopts
MIT LicenseUpdated -
conan / Backward
MIT LicenseUpdated -
Updated
-
A tool to evaluate the security of a linear layer given in matrix form in the context of PSPNs and HADES-like permutations.
Updated -
Updated