Explore projects
-
Updated
-
Updated
-
Updated
-
-
sesys / faultless
Apache License 2.0Updated -
Updated
-
castle / tool / ascon_sat_bounds
MIT LicenseSAT framework of "Bounds for the Security of Ascon against Differential and Linear Cryptanalysis" https://doi.org/10.46586/tosc.v2022.i1.64-87
Updated -
scos / scos.sources / ferp-models
GNU General Public License v3.0 onlyUpdated -
Updated
-
Bernd Pruenster / crypto-commons
European Union Public License 1.2Updated -
sesys / iaik-open-flow / open-flow-docker
Apache License 2.0Updated -
Updated
-
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 -
conan / Rang
The UnlicenseUpdated -
itsec / upstream2019
OtherUpdated
