Explore projects
-
scos / akdv17-bounded-synthesis
MIT LicenseUpdated -
Work on soft error analysis for the IMMORTAL project (activity with IBM)
Updated -
scos / ijtihad
Otherijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Updated -
scos / scos.sources / ferp-models
GNU General Public License v3.0 onlyUpdated -
Updated
-
Upstream Git Repository for Computer Organization and Networks Practicals 2019/20
Updated -
Updated
-
Repository containing the directory structure for LuB submissions.
Updated -
Reference implementations and scripts to calculate round numbers, MDS matrices, and round constants for the HadesMiMC block cipher.
Updated -
Upstream Git Repository for Computer Organization and Networks Practicals 2020/21
Updated -
Updated
-
Updated
-
conan / Backward
MIT LicenseUpdated -
conan / Cxxopts
MIT LicenseUpdated -
conan / Rang
The UnlicenseUpdated -
conan / ELFIO
MIT LicenseUpdated -
Reference implementations and scripts to calculate round numbers for the GMiMC block cipher.
Updated -
Updated
-
conan / spdlog
MIT LicenseUpdated